Clingo goes linear constraints over reals and integers
Research output: Contribution to journal › Article › Scientific › peer-review
Researchers
Research units
- University of Potsdam
- INRIA Rennes
Abstract
Details
Original language | English |
---|---|
Pages (from-to) | 872-888 |
Journal | Theory and Practice of Logic Programming |
Volume | 17 |
Issue number | 5-6 |
Publication status | Published - 2017 |
MoE publication type | A1 Journal article-refereed |
Event | International Conference on Logic Programming - Melbourne, Australia Duration: 28 Aug 2017 → 1 Sep 2017 Conference number: 33 |
- answer set programming, constraints, constraint processing, theory solving
Research areas
ID: 16215718