Alexander Biewer, Jens Gladigau, Christian Haubelt
A novel model for system-level decision making with combined ASP and SMT solving
DATE, 2014.
@inproceedings{DATE-2014-BiewerGH,
author = "Alexander Biewer and Jens Gladigau and Christian Haubelt",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.230",
pages = "1--4",
publisher = "{IEEE}",
title = "{A novel model for system-level decision making with combined ASP and SMT solving}",
year = 2014,
}