HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Paul Franzon

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

Keyphrases

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

Copyright © 2012-2025 easychair.org. All rights reserved.