Login / Signup
Alphabetical Satisfiability Problem for Trace Equations.
Luca Breveglieri
Alessandra Cherubini
C. Nuccio
Emanuele Rodaro
Published in:
Acta Cybern. (2009)
Keyphrases
</>
satisfiability problem
np complete
search algorithm
temporal logic
phase transition
sat problem
solving hard
stochastic local search algorithms
decision procedures
sat instances
stochastic local search
max sat
pspace complete
finite domain
knowledge base