Ahmad A H A Bennakhi
College of Engineering
Is this your profile?
Claim your Citation Index profile in order to display more information about you and gain access to Libraries services. Just create or connect your ORCID iD.
Create or connect your ORCID iD
Works (1)
Updated: November 15th, 2024 05:01
2024 journal article
Solving the B-SAT Problem Using Quantum Computing: Smaller Is Sometimes Better
ENTROPY, 26(10).
author keywords: quantum computing; B-SAT; Boolean satisfiability problem; Grover's search; electronic design automation (EDA); conjunctive normal form (CNF); closed-box testing
open access via doi.org (publisher)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: October 21, 2024
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.