kcnfs

MaRDI QIDQ13241swMATHFDO

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

Cited in

(11)

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

This page was built for software: kcnfs