Finding read-once resolution refutations in systems of 2CNF clauses

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 01, 2018
Source ID
10.1016/j.tcs.2018.02.002

Entities

People

  • Hans Kleine Büning
  • K. Subramani
  • Piotr Wojciechowski

Organizations

  • Air Force Research Laboratory
  • National Science Foundation