Constructing SAT filters with a quantum annealer (Q3453216)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6512568
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Constructing SAT filters with a quantum annealer |
scientific article; zbMATH DE number 6512568 |
Statements
Constructing SAT Filters with a Quantum Annealer (English)
0 references
20 November 2015
0 references
SAT filter
0 references
quantum annealing
0 references
Ising model
0 references
maximum cut
0 references
sampling
0 references
constraint satisfaction problem
0 references
0 references
0.805750846862793
0 references
0.7889935374259949
0 references
0.7626352310180664
0 references
0.7064971923828125
0 references
