Kein Cover

Practically Feasible Proof Logging for Pseudo-Boolean Optimization

Koops, Wietze ; Le Berre, Daniel ; Myreen, Magnus O. ; Nordström, Jakob ; Oertel, Andy ; Tan, Yong Kiam ; Vinyals, Marc 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Link zu diesem Datensatz
https://d-nb.info/1373495804
Titel
Practically Feasible Proof Logging for Pseudo-Boolean Optimization
Art des Inhalts
Teil eines Werks
Verfassangaben
Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals
Autor(en)
  • Koops, Wietze
  • Le Berre, Daniel
  • Myreen, Magnus O.
  • Nordström, Jakob
  • Oertel, Andy
  • Tan, Yong Kiam
  • Vinyals, Marc
Verlag
Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2025]
Jahr
Erscheinungsdatum: 2025
Umfang/Format
Online-Ressource
DOI
10.4230/LIPIcs.CP.2025.21
Online
https://doi.org/10.4230/LIPIcs.CP.2025.21
Sprache
eng
Schlagwörter
Stand
12.08.2025 02:31
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite