Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

Jo Devriendt, Ambros Gleixner, Jakob Nordström

Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskriftPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science

Engineering