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

Alexander Biewer, Jens Gladigau, Christian Haubelt

Browse the full DATE paper archive.