๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

SatEx: A Web-based Framework for SAT Experimentation

โœ Scribed by Laurent Simon; Philippe Chatalic

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
745 KB
Volume
9
Category
Article
ISSN
1571-0653

No coin nor oath required. For personal study only.

โœฆ Synopsis

SatEx is a web site devoted to SAT experimentation. It is not only a front end to a database gathering an exhaustive number of executions, but it also allows dynamic results synthesis as well as detailed explorations of experimentation results. Being dynamically generated and constantly updated and improved, this site can be considered as an almost always upto-date SAT experimentation paper. To the current time, SatEx presents the results of more than 450 CPU days on a recent machine. In a few months, this site has been well received by the SAT community and has reached more than 20000 hits. SatEx site is available at

๐Ÿ“œ SIMILAR VOLUMES

A framework for web-based learning
A framework for web-based learning
โœ Badrul H. Khan ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Springer US ๐ŸŒ English โš– 83 KB
Web-based framework for distributed comp
Web-based framework for distributed computing
โœ Chen, Zhikai; Maly, Kurt; Mehrotra, Piyush; Vangala, Praveen K.; Zubair, Mohamma ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 49 KB ๐Ÿ‘ 2 views

Parallel and distributed computing on a cluster of workstations is being increasingly applied to a variety of large size computational problems. Several software systems have been developed that make distributed computing available to an application programmer. However, these systems either are not

A generic Web-based entity resolution fr
A generic Web-based entity resolution framework
โœ Denilson Alves Pereira; Berthier Ribeiro-Neto; Nivio Ziviani; Alberto H.F. Laend ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 241 KB ๐Ÿ‘ 1 views
A research framework for Web-based open
A research framework for Web-based open decision support systems
โœ Yong Xie; Hongwei Wang; Janet Efstathiou ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 200 KB

With the prevalence of the Web, most decision-makers are likely to use the Web to support their decision-making. Web-based technologies are leading a major stream of researching decision support systems (DSS). In this paper, we propose a formal definition and a conceptual framework for Web-based ope