ASP modulo CSP: The clingcon system (Q4911129): Difference between revisions

@@ Property / describes a project that uses @@
+Clingcon
@@ Property / describes a project that uses: Clingcon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2287
@@ Property / arXiv ID: 1210.2287 / rank @@
+Normal rank
@@ Property / cites work @@
+Lemma Learning in SMT on Linear Constraints
@@ Property / cites work: Lemma Learning in SMT on Linear Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Locating Minimal Infeasible Constraint Sets in Linear Programs
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and difference logic
@@ Property / cites work: Stable models and difference logic / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank