Three is a crowd: SAT, SMT and CLP on a chessboard

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

DOI

    Sebastian Krings, Universität Düsseldorf, Michael Leuschel, Universität Düsseldorf, Philipp Körner, Universität Düsseldorf,
  • Stefan Hallerstede
  • Miran Hasanagic
OriginalsprogEngelsk
TitelPractical Aspects of Declarative Languages : 20th International Symposium on Practical Aspects of Declarative Languages - PADL 2018 - Proceedings
RedaktørerFrancesco Calimeri, Kevin Hamlen, Nicola Leone
Antal sider16
Vol/bind10702
ForlagSpringer
Udgivelsesår2018
Sider63-79
ISBN (Elektronisk)978-3-319-73305-0
DOI
StatusUdgivet - 2018
BegivenhedPADL 2018 20th International Symposium on Practical Aspects of Declarative Languages - Los Angeles, USA
Varighed: 8 jan. 20189 jan. 2018

Konference

KonferencePADL 2018 20th International Symposium on Practical Aspects of Declarative Languages
LandUSA
ByLos Angeles
Periode08/01/201809/01/2018
SerietitelLecture Notes in Computer Science
Vol/bind10702
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 119396287