The following pages link to QingTing1 (Q16628):
Displaying 6 items.
- On SAT instance classes and a method for reliable performance experiments with SAT solvers (Q1777389) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- The state of SAT (Q2643296) (← links)
- (Q3604008) (← links)
- Theory and Applications of Satisfiability Testing (Q5325850) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897190) (← links)