Login / Signup

(2+f(n))-SAT and its properties.

Yunlei ZhaoXiaotie DengChan H. LeeHong Zhu
Published in: Discret. Appl. Math. (2004)
Keyphrases
  • search algorithm
  • scheduling problem
  • structural properties
  • image sequences
  • np hard
  • sat solvers
  • desirable properties
  • topological properties