Article,

Almost 2-SAT is fixed-parameter tractable.

, and .
J. Comput. Syst. Sci., 75 (8): 435-450 (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews