modules.applications.optimization.sat.mappings.dinneenqubo

Classes

DinneenQUBO()

QUBO formulation for SAT as given by Dinneen -- see also the description in the QUARK paper (2202.03028).