Login / Signup
Max Gläser
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Max Sat
Lagrangian Heuristic
Randomly Generated Problems
Branch And Bound Procedure
Top Venues
IPCO
</>
Publications
</>
Max Gläser
,
Marc E. Pfetsch
On the Complexity of Finding Shortest Variable Disjunction Branch-and-Bound Proofs.
IPCO
(2022)