Alexander Biewer, Jens Gladigau, Christian Haubelt. Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making. In Walter Stechele, Thomas Wild, editors, ARCS 2014 - 27th International Conference on Architecture of Computing Systems, Workshop Proceedings, February 25-28, 2014, Luebeck, Germany, University of Luebeck, Institute of Computer Engineering. pages 1-7, VDE Verlag / IEEE Xplore, 2014. [doi]
@inproceedings{BiewerGH14,
title = {Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making},
author = {Alexander Biewer and Jens Gladigau and Christian Haubelt},
year = {2014},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6775078},
researchr = {https://researchr.org/publication/BiewerGH14},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {ARCS 2014 - 27th International Conference on Architecture of Computing Systems, Workshop Proceedings, February 25-28, 2014, Luebeck, Germany, University of Luebeck, Institute of Computer Engineering},
editor = {Walter Stechele and Thomas Wild},
publisher = {VDE Verlag / IEEE Xplore},
isbn = {978-3-8007-3579-2},
}