Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making
['Alexander Biewer', 'Jens Gladigau', 'Christian Haubelt']
Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making