research
∙
03/19/2020
Train Scheduling with Hybrid Answer Set Programming
We present a solution to real-world train scheduling problems, involving...
share
research
∙
07/13/2017
Clingo goes Linear Constraints over Reals and Integers
The recent series 5 of the ASP system clingo provides generic means to e...
research
∙
05/12/2017
