SatEx: A web-based framework for SAT experimentation

MaRDI QIDQ2741519zbMATH OpenFDO

Authors Laurent Simon, Philippe Chatalic

Publication date 24 September 2001

zbMATH Keywords

SAT experimentation

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

Recommendations

• SATLIB: An online resource for research on SAT
• Experimental comparison of 2-satisfiability algorithms
• Theory and Applications of Satisfiability Testing
• Some pitfalls for experimenters with random SAT
• Theory and Applications of Satisfiability Testing

Cites work

• scientific article; zbMATH DE number 1614715 (Why is no real title available?)
• scientific article; zbMATH DE number 956858 (Why is no real title available?)
• A Computing Procedure for Quantification Theory
• A constraint-based approach to narrow search trees for satisfiability
• A machine program for theorem-proving
• Exploiting the real power of unit propagation lookahead
• GRASP: a search algorithm for propositional satisfiability
• Knowledge compilation and theory approximation
• Local search algorithms for SAT: an empirical evaluation
• Needed: An Empirical Science of Algorithms
• Resolution versus search: Two strategies for SAT
• SATLIB: An online resource for research on SAT
• The propositional formula checker HeerHugo

Cited in

(6)

• SATLIB: An online resource for research on SAT
• Equivalent literal propagation in the DLL procedure
• Experiment databases
• Exploiting the real power of unit propagation lookahead
• SatEx
• UnitWalk: A new SAT solver that uses local search guided by unit clause elimination

Describes a project that uses

Uses Software

• ZRes
• Velev SAT Benchmarks
• HeerHugo
• Chaff
• SATO
• SATLIB

This page was built for publication: SatEx: A web-based framework for SAT experimentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2741519)