Efficient Data Structures for Backtrack Search SAT Solvers (2002)

by Ines Lynce , Joao Marquez-Silva
Citations:22 - 3 self