-SAT Formulas Using Approximation Techniques.

Amin Coja-Oghlan Andreas Goerdt André Lanka Frank Schädlich

Published in: FCT (2003)

Keyphrases

closed form
sat solvers
boolean formula
error bounds
approximation algorithms
approximation error
quantifier free
phase transition
approximation methods
cnf formula
propositional formulas
neural network
satisfiability problem
propositional satisfiability
boolean satisfiability
variable ordering