Pages that link to "Item:Q1687551"
From MaRDI portal
The following pages link to Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report (Q1687551):
Displaying 10 items.
- Practical integer-to-binary mapping for quantum annealers (Q670020) (← links)
- Efficiently embedding QUBO problems on adiabatic quantum computers (Q670075) (← links)
- A maximum edge-weight clique extraction algorithm based on branch-and-bound (Q783045) (← links)
- Embedding equality constraints of optimization problems into a quantum annealer (Q2003330) (← links)
- Quantum annealing learning search for solving QUBO problems (Q2105948) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- (Q2707520) (← links)
- Applications and Computational Advances for Solving the QUBO Model (Q5050142) (← links)
- Quantum Annealing with Anneal Path Control: Application to 2-SAT Problems with Known Energy Landscapes (Q5161684) (← links)