The following pages link to (Q3620438):
Displaying 4 items.
- Solving the resolution-free SAT problem by submodel propagation in linear time (Q1777398) (← links)
- Combining preorder and postorder resolution in a satisfiability solver (Q2741518) (← links)
- Theory and Applications of Satisfiability Testing (Q5325849) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897216) (← links)