Improving Satisfiability Algorithms by Using Recursive Learning," presented at (1998)

by J P Marques-Silva
Venue:International Workshop on Boolean Problems (IWBP