Jonas Nüßlein, Sebastian Zielinski, Thomas Gabor, Claudia Linnhoff-Popien, Sebastian Feld. Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization. In Jirí Mikyska, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot, editors, Computational Science - ICCS 2023 - 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V. Volume 14077 of Lecture Notes in Computer Science, pages 34-47, Springer, 2023. [doi]
Abstract is missing.