Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach

CímConstraint Programming with Multi-valued Decision Diagrams: A Saturation Approach
Közlemény típusaConference Paper
Kiadás éve2017
SzerzőkMolnár, V., and Majzik, I.
SzerkesztőPataki, B.
Konferencia neveProceedings of the 24th PhD Mini-Symposium
Konferencia helyszíneBudapest, Hungary
ISBN-szám978-963-313-243-2
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció