"A novel model for system-level decision making with combined ASP and SMT ..."

Alexander Biewer, Jens Gladigau, Christian Haubelt (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics