On Some SAT-Variants over Linear Formulas.

Stefan Porschen Tatjana Schmidt

Published in: SOFSEM (2009)

Keyphrases

satisfiability problem
genetic algorithm
quantifier free
search algorithm
np hard
quantifier elimination
closed form
sat solvers
sat problem
max sat
propositional formulas