Pages that link to "Item:Q3453216"
From MaRDI portal
The following pages link to Constructing SAT Filters with a Quantum Annealer (Q3453216):
Displaying 3 items.
- SAT-based {CNOT, \(T\)} quantum circuit synthesis (Q1796379) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- Quantum Annealing with Anneal Path Control: Application to 2-SAT Problems with Known Energy Landscapes (Q5161684) (← links)