Clingo goes linear constraints over reals and integers

DOI10.1017/S1471068417000242zbMath1422.68024arXiv1707.04053OpenAlexW2963268497MaRDI QIDQ4592712

Torsten Schaub, Roland Kaminski, Max Ostrowski, Philipp Wanko, Tomi Janhunen, Sebastian Schellhorn

Publication date: 8 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.04053

zbMATH Keywords

answer set programming (ASP)clingoconstraint answer set programming (CASP)constraint processing (CP)theory solving

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (9)

Constraint Answer Set Programming without Grounding ⋮ Hybrid metabolic network completion ⋮ Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy ⋮ Unnamed Item ⋮ Multi-shot ASP solving with clingo ⋮ Solving Advanced Argumentation Problems with Answer Set Programming ⋮ Train Scheduling with Hybrid Answer Set Programming ⋮ Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP ⋮ Clingo

Uses Software

• Clingcon

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Irreducibly inconsistent systems of linear inequalities
• Extending and implementing the stable model semantics
• Conflict-driven answer set solving: from theory to practice
• Benchmarks for basic scheduling problems
• System aspmt2smt: Computing ASPMT Theories by SMT Solvers
• aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
• A translational approach to constraint answer set solving
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Clingcon: The next generation
• Fast and Flexible Difference Constraint Propagation for DPLL(T)

This page was built for publication: Clingo goes linear constraints over reals and integers