Download PDFOpen PDF in browserCurrent version

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

EasyChair Preprint 14507, version 1

Versions: 12history
8 pagesDate: August 20, 2024

Abstract

This paper examines the effectiveness of modern universal gate quantum computers in solving the Boolean Satisfiability (B-SAT) problem using Grover’s Search algorithm. Experiments were conducted with varying configurations, including the number of shots, qubit mapping, and different quantum processors, to assess their impact on the results. The study also includes an experiment that highlights a unique behavior observed in IBM quantum processors when running circuits with a specific number of shots.

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}}
Download PDFOpen PDF in browserCurrent version