Automatically improving constraint models in Savile Row (Q1680696): Difference between revisions

@@ Property / cites work @@
+Presolve Reductions in Mixed Integer Programming
@@ Property / cites work: Presolve Reductions in Mixed Integer Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Graph coloring inequalities from all-different systems
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for singleton arc consistency
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Encodings of the Sequence Constraint
@@ Property / cites work: Encodings of the Sequence Constraint / rank @@
+Normal rank
@@ Property / cites work @@
+AI 2006: Advances in artificial intelligence. 19th Australian joint conference on artificial intelligence, Hobart, Australia, December 4--8, 2006. Proceedings
+Normal rank
@@ Property / cites work @@
+Cadmium: An Implementation of ACD Term Rewriting
@@ Property / cites work: Cadmium: An Implementation of ACD Term Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Design of financial CDO squared transactions using constraint programming
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Q4424851
@@ Property / cites work: Q4424851 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538306
@@ Property / cites work: Q5538306 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting the Sequence Constraint
@@ Property / cites work: Revisiting the Sequence Constraint / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing logical connectives in constraint programming
+Normal rank
@@ Property / cites work @@
+Second-Order Consistencies
@@ Property / cites work: Second-Order Consistencies / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting symmetries within constraint satisfaction search
+Normal rank
@@ Property / cites work @@
+The extended global cardinality constraint: an empirical survey
+Normal rank
@@ Property / cites work @@
+Automatically improving constraint models in Savile Row
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Cost-based arc consistency for global cardinality constraints
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+A discrete Lagrangian-based global-search method for solving satisfiability problems
+Normal rank
@@ Property / cites work @@
+Towards Robust CNF Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Symmetry and Search in a Network Design Problem
@@ Property / cites work: Symmetry and Search in a Network Design Problem / rank @@
+Normal rank
@@ Property / cites work @@
+MiniZinc with Functions
@@ Property / cites work: MiniZinc with Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / 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 / describes a project that uses @@
+Cadmium
@@ Property / describes a project that uses: Cadmium / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniZinc
@@ Property / describes a project that uses: MiniZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sugar
@@ Property / describes a project that uses: Sugar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2734924814
@@ Property / OpenAlex ID: W2734924814 / rank @@
+Normal rank