JOURNAL ARTICLE
Solving boolean satisfiability problems with the quantum approximate optimization algorithm
Boulebnane, SamiMontanaro, Ashley
Year: 2023 Journal: Zenodo (CERN European Organization for Nuclear Research) Publisher: European Organization for Nuclear Research
Abstract
Data repository for the paper. Includes results of numerical experiments generating the plots. Code to generate these is provided on the GitHub repository https://github.com/sami-b95/qaoa_ksat_paper_data
Keywords:
Satisfiability Code (set theory) Boolean satisfiability problem Maximum satisfiability problem True quantified Boolean formula Computation Boolean function Optimization problem
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.28
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Quantum Computing Algorithms and Architecture
Physical Sciences → Computer Science → Artificial Intelligence
Quantum Information and Cryptography
Physical Sciences → Computer Science → Artificial Intelligence
Mathematical Approximation and Integration
Physical Sciences → Mathematics → Numerical Analysis
Related Documents
JOURNAL ARTICLE
Solving Boolean Satisfiability Problems With The Quantum Approximate Optimization Algorithm
Sami BoulebnaneAshley Montanaro
Journal: PRX Quantum Year: 2024 Vol: 5 (3)
JOURNAL ARTICLE
Solving boolean satisfiability problems with the quantum approximate optimization algorithm
Sami BoulebnaneAshley Montanaro
Journal: Zenodo (CERN European Organization for Nuclear Research) Year: 2023
JOURNAL ARTICLE
Solving Combinatorial Optimization Problems With Boolean Satisfiability Solvers
Journal: Monash University Year: 2025
JOURNAL ARTICLE
Solving Combinatorial Optimization Problems With Boolean Satisfiability Solvers
Journal: OPAL (Open@LaTrobe) (La Trobe University) Year: 2025