kcnfs
From MaRDI portal
Software:13241
swMATH484MaRDI QIDQ13241FDOQ13241
Author name not available (Why is that?)
Cited In (8)
- 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
- Present and Future of Practical SAT Solving
This page was built for software: kcnfs
