Login / Signup
SATQUBOLIB: A Python Framework for Creating and Benchmarking (Max-)3SAT QUBOs.
Sebastian Zielinski
Magdalena Benkard
Jonas Nüßlein
Claudia Linnhoff-Popien
Sebastian Feld
Published in:
I4CS (2024)
Keyphrases
</>
max sat
information retrieval
probabilistic model
orders of magnitude