Login / Signup
The incremental satisfiability problem for a two conjunctive normal form.
Guillermo De Ita Luna
José Raymundo Marcial-Romero
José Antonio Hernández Servín
Published in:
LANMR (2016)
Keyphrases
</>
conjunctive normal form
satisfiability problem
np complete
temporal logic
search algorithm
phase transition
sat problem
stochastic local search
sat instances
computational complexity
constraint satisfaction
randomly generated
boolean formula