TY  - RPRT
TI  - Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization
AU  - Jonas Nüßlein
AU  - Sebastian Zielinski
AU  - Thomas Gabor
AU  - Claudia Linnhoff-Popien
AU  - Sebastian Feld
PY  - 2023
UR  - https://arxiv.org/abs/2302.03536
ID  - 2302.03536
ER  -