Login / Signup
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.
Lintao Zhang
Sharad Malik
Published in:
CP (2002)
Keyphrases
</>
boolean formula
information retrieval
learning algorithm
optimal solution