QUARK
Contents:
QUARK: A Framework for Quantum Computing Application Benchmarking
Developer
Benchmark Data Analysis
Reference
Modules
modules.applications
modules.applications.application
modules.applications.mapping
modules.applications.optimization
modules.applications.qml
modules.applications.simulation
modules.core
modules.devices
modules.solvers
QUARK
Reference
modules
modules.applications
modules.applications.optimization
modules.applications.optimization.sat
modules.applications.optimization.sat.mappings
modules.applications.optimization.sat.mappings.choiqubo
View page source
modules.applications.optimization.sat.mappings.choiqubo
Classes
ChoiQUBO
()
QUBO formulation for SAT problem by Choi (1004.2226).