Keyword:conjunctive normal form (CNF)

Publications
Solving the B-SAT Problem Using Quantum Computing: Smaller is Sometimes Better Ahmad Bennakhi, Greg Byrd and Paul Franzon EasyChair Preprint 14507