Proving the infeasibility of Horn formulas through read-once resolution

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 01, 2023
Source ID
10.1016/j.dam.2023.02.001

Entities

People

  • K. Subramani
  • Piotr Wojciechowski

Organizations

  • Air Force Office of Scientific Research
  • Defense Advanced Research Projects Agency