The Inverse Satisfiability Problem.

Dimitris J. Kavvadias Martha Sideri

Published in: COCOON (1996)

Keyphrases

satisfiability problem
np complete
temporal logic
search algorithm
phase transition
sat problem
solving hard
stochastic local search
stochastic local search algorithms
sat instances
np hard
pspace complete
decision procedures