Search Results for author:
Found 3 papers, 1 papers with code
Train Scheduling with Hybrid Answer Set Programming
We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP).
Clingo goes Linear Constraints over Reals and Integers
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities.
Clingcon: The Next Generation
While its predecessors rely on a black-box approach to hybrid solving by integrating the CP solver gecode, the new clingcon system pursues a lazy approach using dedicated constraint propagators to extend propagation in the underlying ASP solver clasp.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
