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]
@inproceedings{NussleinZGLF23, title = {Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization}, author = {Jonas Nüßlein and Sebastian Zielinski and Thomas Gabor and Claudia Linnhoff-Popien and Sebastian Feld}, year = {2023}, doi = {10.1007/978-3-031-36030-5_3}, url = {https://doi.org/10.1007/978-3-031-36030-5_3}, researchr = {https://researchr.org/publication/NussleinZGLF23}, cites = {0}, citedby = {0}, pages = {34-47}, booktitle = {Computational Science - ICCS 2023 - 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part V}, editor = {Jirí Mikyska and Clélia de Mulatier and Maciej Paszynski and Valeria V. Krzhizhanovskaya and Jack J. Dongarra and Peter M. A. Sloot}, volume = {14077}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-36030-5}, }