Artikel in einem Konferenzbericht,

Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams.

, , und .
CP, Volume 235 von LIPIcs, Seite 35:1-35:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen