Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice

No abstract is available for this paper.

• Publication year

  2018

• Venue

  International Conference on Principles and Practice of Constraint Programming

• Publication date

  2018-08-27

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-98334-9_24
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatically improving constraint models in Savile Row

  2017cited by this paper
• Extensible automated constraint modelling via refinement of abstract problem specifications

  2016cited by this paper
• Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row

  2015cited by this paper
• Automatically Generating Streamlined Constraint Models with Essence and Conjure

  2015cited by this paper
• On the Erdős Discrepancy Problem

  2014cited by this paper
• Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE

  2014cited by this paper
• Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

  2014cited by this paper
• Double-Wheel Graphs Are Graceful

  2013cited by this paper
• Automated Symmetry Breaking and Model Selection in Conjure

  2013cited by this paper
• A Survey of Monte Carlo Tree Search Methods

  2012influential reference
• Extensible Automated Constraint Modelling

  2011cited by this paper
• The Essence of Essence

  2009cited by this paper
• Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics

  2009cited by this paper
• Essence: A constraint language for specifying combinatorial problems

  2008cited by this paper
• MiniZinc: Towards a Standard CP Modelling Language

  2007cited by this paper
• Automatic Generation of Implied Constraints

  2006cited by this paper
• Minion: A Fast Scalable Constraint Solver

  2006cited by this paper
• Resolution Tunnels for Improved SAT Solver Performance

  2005cited by this paper
• Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern

  2004cited by this paper
• Streamlined Constraint Reasoning

  2004cited by this paper
• Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem

  2004cited by this paper
• CGRASS: A System for Transforming Constraint Satisfaction Problems

  2002cited by this paper
• Finite-time Analysis of the Multiarmed Bandit Problem

  2002cited by this paper
• Matrix modelling: Exploiting common patterns in constraint programming

  2002cited by this paper
• The Vehicle Routing Problem

  2002cited by this paper
• Minimum-energy broadcast in all-wireless networks: NP-completeness and distribution issues

  2002cited by this paper
• Symmetry and Implied Constraints in the Steel Mill Slab Design Problem

  2001cited by this paper
• Matrix Modelling

  2001cited by this paper
• Constraint Generation via Automated Theory Formation

  2001cited by this paper
• A branch-and-cut algorithm for solving an intraring synchronous optical network design problem

  2000cited by this paper
• Automated reasoning and exhaustive search: Quasigroup existence problems☆

  1995cited by this paper
• The progressive party problem: Integer linear programming and constraint programming compared

  1995influential reference
• GRACEFUL NUMBERING OF WHEELS AND RELATED GRAPHS

  1979cited by this paper
• Dynamic Programming and Markov Processes

  1960cited by this paper

• Balancing Latin Rectangles with LLM-Generated Streamliners

  2025cites this paper
• StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners

  2025cites this paper
• Generating Streamlining Constraints with Large Language Models

  2024cites this paper
• Automated streamliner portfolios for constraint satisfaction problems

  2023cites this paper
• Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem

  2020influential citation
• Automatic Streamlining for Constrained Optimisation

  2019cites this paper
• Closed Frequent Itemset Mining with Arbitrary Side Constraints

  2018cites this paper