Sign in
Lightsolver challenges a leading deep learning solver for Max-2-SAT problems.
Hod Wirzberger
Assaf Kalinski
Idan Meirzada
Harel Primack
Yaniv Romano
Chene Tradonsky
Ruti Ben-Shlomi
Published in:
CoRR (2023)
Keyphrases
</>
weighted max sat
deep learning
max sat
unsupervised feature learning
special case
optimization problems
np complete
satisfiability problem
lower bound
np hard
unsupervised learning
orders of magnitude
probabilistic planning
maximum satisfiability