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):
Displayed 2 items.
The following pages link to Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123):
Displayed 2 items.