Constraints, 1383-7133

Tidskrift

Fler filtreringsmöjligheter
  1. 2021
  2. Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

    Jo Devriendt, Ambros Gleixner & Jakob Nordström, 2021 jan 18, I: Constraints.

    Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskrift