Estimating satisfiability.

Yacine Boufkhad Thomas Hugel

Published in: Discret. Appl. Math. (2012)

Keyphrases

satisfiability problem
computational complexity
data sets
machine learning
artificial intelligence
np complete
rigid body
databases
multiscale
knowledge representation
temporal logic
phase transition
accurate estimation
quantified boolean formulas