Sign in

The Incremental Satisfiability Problem for a Two Conjunctive Normal Form.

Guillermo De Ita LunaJosé Raymundo Marcial-RomeroJosé Antonio Hernández Servín
Published in: Electron. Notes Theor. Comput. Sci. (2016)
Keyphrases
  • satisfiability problem
  • conjunctive normal form
  • np complete
  • temporal logic
  • phase transition
  • search algorithm
  • sat problem
  • sat instances
  • max sat
  • stochastic local search
  • unit propagation