Login / Signup

A Threshold for a Polynomial Solution of #2SAT.

Guillermo De Ita LunaJosé Raymundo Marcial-RomeroJosé Antonio Hernández Servín
Published in: Fundam. Informaticae (2011)
Keyphrases
  • mathematical model
  • closed form
  • search algorithm
  • linear programming
  • metaheuristic
  • heuristic search