Complete Unrestricted Backtracking Algorithms for Satisfiability (2002)

by Ines Lynce , Joao Marques-Silva
Citations:14 - 4 self