Estimating Satisfiability

Yacine Boufkhad Thomas Hugel

Published in: CoRR (2010)

Keyphrases

satisfiability problem
propositional logic
rigid body
real time
multi agent
computational complexity
phase transition
accurate estimation
estimation process
decision procedures
data sets
genetic algorithm
logic programs
np complete
terminological reasoning