Login / Signup
CirCUs: A Hybrid Satisfiability Solver.
HoonSang Jin
Fabio Somenzi
Published in:
SAT (2004)
Keyphrases
</>
quantified boolean formulas
satisfiability problem
sat solving
propositional logic
np complete
boolean formula
phase transition
hybrid learning
hybrid approaches