kcnfs

swMATH484MaRDI QIDQ13241FDOQ13241

Author name not available (Why is that?)

Official website: http://home.mis.u-picardie.fr/~dequen/sat/

Cited In (11)

• DRABT
• An efficient approach to solving random \(k\)-SAT problems
• Theory and Applications of Satisfiability Testing
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• The SAT-based approach to separation logic
• Principles and Practice of Constraint Programming – CP 2004
• Effective Incorporation of Double Look-Ahead Procedures
• Using Boolean Constraint Propagation for Sub-clauses Deduction
• March_eq
• TSAT++
• Present and Future of Practical SAT Solving

This page was built for software: kcnfs