Keyword:Boolean Satisfiability Problem

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