Pages that link to "Item:Q2216123"
From MaRDI portal
The following pages link to Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123):
Displaying 10 items.
- Practical integer-to-binary mapping for quantum annealers (Q670020) (← links)
- Three ``quantum'' algorithms to solve 3-SAT (Q872207) (← links)
- Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report (Q1687551) (← links)
- Embedding equality constraints of optimization problems into a quantum annealer (Q2003330) (← links)
- Probabilistic nonunitary gate in imaginary time evolution (Q2690483) (← links)
- (Q2707520) (← links)
- Performing fully parallel constraint logic programming on a quantum annealer (Q4559836) (← links)
- Quantum Annealing with Anneal Path Control: Application to 2-SAT Problems with Known Energy Landscapes (Q5161684) (← links)
- Why adiabatic quantum annealing is unlikely to yield speed-up (Q6059153) (← links)
- On prime scenarios in qualitative spatial and temporal reasoning (Q6614889) (← links)