Approximate Satisfiability and Equivalence.

Eldar Fischer Frédéric Magniez Michel de Rougemont

Published in: LICS (2006)

Keyphrases

np complete
computational complexity
satisfiability problem
piecewise linear
data sets
neural network
genetic algorithm
orders of magnitude
equivalence relation
terminological reasoning