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.dinneenising
View page source
modules.applications.optimization.sat.mappings.dinneenising
Classes
DinneenIsing
()
Ising formulation for SAT using Dinneen QUBO.