QUARK

Contents:

QUARK: A Framework for Quantum Computing Application Benchmarking
Developer
Benchmark Data Analysis
Reference
- Modules

QUARK

Reference
modules
modules.applications
modules.applications.optimization
modules.applications.optimization.sat
modules.applications.optimization.sat.mappings
modules.applications.optimization.sat.mappings.choiising
View page source

modules.applications.optimization.sat.mappings.choiising

Classes

Ising formulation for SAT problem using QUBO by Choi (1004.2226).

Previous Next

© Copyright 2023, The QUARK Authors.

Built with Sphinx using a theme provided by Read the Docs.