Muli: Constraint-Programmierung in Java auf symbolischer JVM

Dageförde Jan C., Kuchen Herbert



Publication type
Conference Paper

Peer reviewed
No

Publication status
Published

Year
2017

Conference
19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)

Venue
Weimar

Editor
Amme W, Heinze TS

Volume
Math/Inf/02/2017

Title of series
Jenaer Schriften zur Mathematik und Informatik