Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning

Konferenzbeitrag › Konferenzpaper › 2023

Zitation

Mexi, Gioni; Berthold, Timo; Gleixner, Ambros; Nordström, Jakob: Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. In: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Hg. von Yap, Roland H. C.. Schloss Dagstuhl: 2023( Leibniz International Proceedings in Informatics (LIPIcs) 280), S. 27:1-27:19.

DOI / URN

10.4230/LIPIcs.CP.2023.27

Link

https://doi.org/10.4230/LIPIcs.CP.2023.27

Sprache

Englisch

Zitieren

BibTeX / RIS