Approximate Satisfiability and Equivalence.

Eldar Fischer Frédéric Magniez Michel de Rougemont

Published in: SIAM J. Comput. (2010)

Keyphrases

satisfiability problem
propositional logic
np complete
exact solution
computational complexity
least squares
satisfiability testing
decision procedures
piecewise linear
modal logic
database
knowledge representation
objective function
artificial intelligence
learning algorithm
data sets
real time