Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results |
scientific article |
Statements
Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (English)
0 references
15 December 2020
0 references
quantum annealing
0 references
quadratic unconstrained binary optimization (QUBO)
0 references
Ising model
0 references
satisfiability modulo theories
0 references
optimization modulo theories
0 references
SAT
0 references
MaxSAT
0 references
Chimera graph
0 references
0 references
0 references
