CirCUs: A Hybrid Satisfiability Solver.

HoonSang Jin Fabio Somenzi

Published in: SAT (Selected Papers (2004)

Keyphrases

quantified boolean formulas
boolean formula
satisfiability problem
propositional logic
sat solving
hybrid approaches
real time
computational complexity
special case
neural network
genetic algorithm
artificial intelligence
e learning
logic programs
decision procedures