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

Konferenzbeitrag › Abstract › 2020

Zitation

Devriendt, Jo; Gleixner, Ambros; Nordström, Jakob: Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search. In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2020. Hg. von Emmanuel Hebrard, Nysret Musliu. Cham: Springer 2020 (LNCS 12296) , S. xxiv-xxvi.

ISSN

0302-9743, 1611-3349 (electronic)

ISBN

978-3-030-58941-7, 978-3-030-58942-4 eBook

Link

https://doi.org/10.1007/978-3-030-58942-4

Sprache

Englisch

Zitieren

BibTeX / RIS