23 citations · 24 across the 4 of their papers we have counts for
5 papers
Towards Industrial-scale Product Configuration
Joachim Baumeister, Susana Hahn, Konstantin Herud +5
We address the challenge of product configuration in the context of increasing customer demand for diverse and complex products. We propose a solution through a curated selection o…
Train Scheduling with Hybrid Answer Set Programming
Dirk Abels, Julian Jordi, Max Ostrowski +3
We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP). To this end, we pursue a hybr…
Clingo goes Linear Constraints over Reals and Integers
Tomi Janhunen, Roland Kaminski, Max Ostrowski +3
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities. We instantiate this framework…
Clingcon: The Next Generation
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski +1
We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predec…
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Mutsunori Banbara, Martin Gebser, Katsumi Inoue +4
Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective, as exemplified by the award-winning sugar system. We…