Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search

Artikel › Journalartikel › 2021

Zitation

Devriendt, Jo; Gleixner, Ambros; Nordström, Jakob: Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search. In: Constraints 26. (2021), S. 26-55.

ISSN

1383-7133

Link

https://dx.doi.org/10.1007/s10601-020-09318-x

Sprache

Englisch

Zitieren

BibTeX / RIS