zChaff is an implementation of the well known CHAFF, an algorithm for solving satisfiability (SAT) problems. It won the Best Complete Solver in both industrial and handmade benchmark categories in the SAT 2002 Competition, and the Best Complete Solver in the industrial benchmark in the SAT 2004 Competition. It is a popular solver and can be compiled into a linkable library for easy integration with user applications.

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

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

  1. Armand, Michael; Faure, Germain; Grégoire, Benjamin; Keller, Chantal; Théry, Laurent; Werner, Benjamin: A modular integration of SAT/SMT solvers to Coq through proof witnesses (2011)
  2. Weber, Tjark; Amjad, Hasan: Efficiently checking propositional refutations in HOL theorem provers (2009)
  3. Yadgar, Avi; Grumberg, Orna; Schuster, Assaf: Hybrid BDD and All-SAT method for model checking (2009)
  4. Bruni, Renato; Santori, Andrea: New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (2008)
  5. Jing, Minge; Zhou, Dian; Tang, Pushan; Zhou, Xiaofang; Zhang, Hua: Solving SAT problem by heuristic polarity decision-making algorithm (2007)
  6. Bailleux, Olivier; Boufkhad, Yacine; Roussel, Olivier: A translation of pseudo-Boolean constraints to SAT (2006)
  7. Drechsler, Rolf; Fey, Görschwin: Automatic test pattern generation (2006)
  8. Fu, Zhaohui; Malik, Sharad: On solving the partial MAX-SAT problem (2006)
  9. Dershowitz, Nachum; Hanna, Ziyad; Nadel, Alexander: A clause-based heuristic for SAT solvers (2005)
  10. Jia, Haixia; Moore, Cris; Selman, Bart: From spin glasses to hard satisfiable formulas (2005)
  11. Le Berre, Daniel; Simon, Laurent: Fifty-five solvers in Vancouver: The SAT 2004 competition (2005)
  12. Lewis, Matthew D.T.; Schubert, Tobias; Becker, Bernd W.: Speedup techniques utilized in modern SAT solvers -- an analysis in the MIRA environment. (2005)
  13. Mahajan, Yogesh S.; Fu, Zhaohui; Malik, Sharad: Zchaff2004: An efficient SAT solver (2005)
  14. Manolios, Panagiotis; Srinivasan, Sudarshan K.: A parameterized benchmark suite of hard pipelined-machine-Verification problems (2005)
  15. Pan, Guoqiang; Vardi, Moshe Y.: Symbolic techniques in satisfiability solving (2005)
  16. Pan, Guoqiang; Vardi, Moshe Y.: Search vs. symbolic techniques in satisfiability solving (2005)
  17. D’Antonio, Massimo; Delzanno, Giorgio: SAT-based analysis of cellular automata (2004)
  18. Franco, John; Kouril, Michal; Schlipf, John; Ward, Jeffrey; Weaver, Sean; Dransfield, Michael; Vanfleet, W.Mark: SBSAT: a state-based, BDD-based satisfiability solver (2004)
  19. Ansótegui, Carlos: A new approach to solving SAT-encoded binary CSPs (2003)
  20. Fränzle, Martin; Herde, Christian: Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems (2003)