Login / Signup

SATQUBOLIB: A Python Framework for Creating and Benchmarking (Max-)3SAT QUBOs.

Sebastian ZielinskiMagdalena BenkardJonas NüßleinClaudia Linnhoff-PopienSebastian Feld
Published in: I4CS (2024)
Keyphrases
  • max sat
  • information retrieval
  • probabilistic model
  • orders of magnitude