Login / Signup
Bose-Einstein Condensation in Satisfiability Problems
Claudio Angione
Annalisa Occhipinti
Giovanni Stracquadanio
Giuseppe Nicosia
Published in:
CoRR (2013)
Keyphrases
</>
satisfiability problem
np complete
search algorithm
temporal logic
phase transition
particle filter
sat problem
solving hard
stochastic local search algorithms
stochastic local search
max sat
pspace complete
davis putnam
sat instances
clause learning
conjunctive normal form
heuristic search
mazurkiewicz traces