Solving constraint satisfaction problems with SAT modulo theories (Q487632): Difference between revisions

@@ Property / DOI @@
-.1007/s10601-012-9123-1
@@ Property / DOI: 10.1007/s10601-012-9123-1 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SICStus
@@ Property / describes a project that uses: SICStus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FlatZinc
@@ Property / describes a project that uses: FlatZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sugar
@@ Property / describes a project that uses: Sugar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIMPLY
@@ Property / describes a project that uses: SIMPLY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JaCoP
@@ Property / describes a project that uses: JaCoP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Essence
@@ Property / describes a project that uses: Essence / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57979695
@@ Property / Wikidata QID: Q57979695 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-012-9123-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2015135969
@@ Property / OpenAlex ID: W2015135969 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Logic Programming Using ECL<sup><i>i</i></sup>PS<sup><i>e</i></sup>
+Normal rank
@@ Property / cites work @@
+A System for Solving Constraint Satisfaction Problems with SMT
+Normal rank
@@ Property / cites work @@
+Efficient theory combination via Boolean search
@@ Property / cites work: Efficient theory combination via Boolean search / rank @@
+Normal rank
@@ Property / cites work @@
+To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo the Theory of Costs: Foundations and Applications
+Normal rank
@@ Property / cites work @@
+Essence: A constraint language for specifying combinatorial problems
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+On SAT Modulo Theories and Optimization Problems
@@ Property / cites work: On SAT Modulo Theories and Optimization Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Challenges in Satisfiability Modulo Theories
@@ Property / cites work: Challenges in Satisfiability Modulo Theories / rank @@
+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 @@
+Propagation via lazy clause generation
@@ Property / cites work: Propagation via lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+From Propositional Satisfiability to Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Deciding Combinations of Theories
@@ Property / cites work: Deciding Combinations of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Philosophy of the MiniZinc challenge
@@ Property / cites work: Philosophy of the MiniZinc challenge / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling finite linear CSP into SAT
@@ Property / cites work: Compiling finite linear CSP into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473043
@@ Property / cites work: Q4473043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804883
@@ Property / cites work: Q4804883 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10601-012-9123-1
@@ Property / DOI: 10.1007/S10601-012-9123-1 / rank @@
+Normal rank