Conflict-driven clause learning SAT solvers
- Joao Marques-Silva
- , Ines Lynce
- , Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Chapter
277
Link opens in a new tab
Scopus
citations