Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization.

Jonas Nlein, Sebastian Zielinski, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld

Browse the full ICCS paper archive.