Hod Wirzberger

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Weighted Max Sat

Maximum Satisfiability

Top Venues

Publications

Hod Wirzberger, Assaf Kalinski, Idan Meirzada, Harel Primack, Yaniv Romano, Chene Tradonsky, Ruti Ben-Shlomi
Lightsolver challenges a leading deep learning solver for Max-2-SAT problems. CoRR (2023)