SAT graph-based representation: A new perspective.

Gilles Audemard Saïd Jabbour Lakhdar Sais

Published in: J. Algorithms (2008)

Keyphrases

search algorithm
machine learning
satisfiability problem
database
real time
pairwise