SatEx: A web-based framework for SAT experimentation. 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 up-to-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 simon/satex/satex.php3.

References in zbMATH (referenced in 15 articles , 1 standard article )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten: Overview and analysis of the SAT challenge 2012 solver competition (2015)
  2. Stump, Aaron; Sutcliffe, Geoff; Tinelli, Cesare: StarExec: a cross-community infrastructure for logic solving (2014)
  3. Bougeret, Marin; Dutot, Pierre-François; Goldman, Alfredo; Ngoko, Yanik; Trystram, Denis: Approximating the discrete resource sharing scheduling problem (2011)
  4. Hutter, Frank; Hoos, Holger H.; Leyton-Brown, Kevin: Tradeoffs in the empirical evaluation of competing algorithm designs (2010)
  5. Petrik, Marek; Zilberstein, Shlomo: Learning parallel portfolios of algorithms (2006)
  6. Brglez, Franc; Li, Xiao Yu; Stallmann, Matthias F.: On SAT instance classes and a method for reliable performance experiments with SAT solvers (2005)
  7. Hirsch, Edward A.; Kojevnikov, Arist: UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (2005)
  8. Jurkowiak, Bernard; Li, Chu Min; Utard, Gil: A parallelization scheme based on work stealing for a class of SAT solvers (2005)
  9. Le Berre, Daniel; Simon, Laurent: Fifty-five solvers in Vancouver: The SAT 2004 competition (2005)
  10. Simon, Laurent; Berre, Daniel; Hirsch, Edward A.: The SAT2002 competition (2005)
  11. Le Berre, Daniel; Simon, Laurent: The essentials of the SAT 2003 competition (2004)
  12. Le Berre, Daniel; Simon, Laurent; Tacchella, Armando: Challenges in the QBF arena: The SAT’03 evaluation of QBF solvers (2004)
  13. Li, Chu-Min: Equivalent literal propagation in the DLL procedure (2003)
  14. Le Berre, Daniel: Exploiting the real power of unit propagation lookahead (2001)
  15. Simon, Laurent; Chatalic, Philippe: SatEx: A web-based framework for SAT experimentation (2001)