ARTICLE
|
doi:10.20944/preprints202409.0452.v1
Subject:
Other,
Computer Science And Mathematics
Keywords:
quantum computing; B-SAT; Boolean satisfiability problem; Grover’ s Search; electronic design automation (EDA); conjunctive normal form (CNF); closed box testing
Online: 5 September 2024 (12:38:58 CEST)