Solving the B-SAT Problem Using Quantum Computing: Smaller is Sometimes Better

EasyChair Preprint 14507, version history

Ahmad Bennakhi, Greg Byrd and Paul Franzon

Version	Date	Pages	Version notes
1	August 20, 2024	8
2	September 24, 2024	8	fixed table 5 typo, that has an extra "(1 iteration) " bracket

Keyphrases: B-SAT, Boolean Satisfiability Problem, Grover’s Search, closed box testing, conjunctive normal form (CNF), electronic design automation(EDA), quantum computing

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:14507,
  author    = {Ahmad Bennakhi and Greg Byrd and Paul Franzon},
  title     = {Solving the B-SAT Problem Using Quantum Computing: Smaller is Sometimes Better},
  howpublished = {EasyChair Preprint 14507},
  year      = {EasyChair, 2024}}