External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning

Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström. Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. In Roland H. C. Yap, editor, 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. Volume 280 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Gioni Mexi

This author has not been identified. Look up 'Gioni Mexi' in Google

Timo Berthold

This author has not been identified. Look up 'Timo Berthold' in Google

Ambros M. Gleixner

This author has not been identified. Look up 'Ambros M. Gleixner' in Google

Jakob Nordström

This author has not been identified. Look up 'Jakob Nordström' in Google
runs on