MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Conference on Principles and Practice of Constraint Programming

• Publication date

  2015-08-31

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-23219-5_27
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The MiniZinc Challenge 2008-2013

  2014cited by this paper
• Interactive Design of Sustainable Cities with a Distributed Local Search Solver

  2014cited by this paper
• MiniZinc with Functions

  2013cited by this paper
• Principles and Practice of Constraint Programming

  2013cited by this paper
• The Objective-CP Optimization System

  2013cited by this paper
• Embarrassingly Parallel Search

  2013cited by this paper
• Search combinators

  2011cited by this paper
• Constraint Programming and Combinatorial Optimisation in Numberjack

  2010cited by this paper
• AND/OR Branch-and-Bound search for combinatorial optimization in graphical models

  2009cited by this paper
• Search Strategies for Rectangle Packing

  2008cited by this paper
• The Design of the Zinc Modelling Language

  2008cited 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
• Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion

  2007cited by this paper
• Randomized Large Neighborhood Search for Cumulative Scheduling

  2005cited by this paper
• The Comet Programming Language and System

  2005cited by this paper
• Finding Diverse and Similar Solutions in Constraint Programming

  2005cited by this paper
• Stochastic Programming Models

  2003cited by this paper
• Introducing esra, a Relational Language for Modelling Combinatorial Problems

  2003cited by this paper
• Stochastic Constraint Programming

  2002cited by this paper
• OPL Script: Composing and Controlling Models

  1999cited by this paper
• The OPL optimization programming language

  1999cited by this paper
• Computational results with a branch and cut code for the capacitated vehicle routing problem

  1998cited by this paper
• Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems

  1998cited by this paper
• Stochastic Programming

  1995cited by this paper
• Limited Discrepancy Search

  1995cited by this paper
• AMPL: A Modeling Language for Mathematical Programming

  1993cited by this paper

• Adaptive large-neighbourhood search for optimisation in answer-set programming

  2024cites this paper
• A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics

  2024cites this paper
• Constraint Programming with External Worst-Case Traversal Time Analysis

  2023cites this paper
• Large-Neighbourhood Search for Optimisation in Answer-Set Solving

  2022cites this paper
• Modelling and Solving Online Optimisation Problems

  2020cites this paper
• Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints

  2019cites this paper
• Research Report on Automatic Synthesis of Local Search Neighborhood Operators

  2019cites this paper
• Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems

  2019cites this paper
• From MiniZinc to Optimization Modulo Theories, and Back (Extended Version)

  2019cites this paper
• Modelling and Solving Techniques for Stochastic Combinatorial Optimisation Problems

  2019cites this paper
• Constraint programming in embedded systems design: Considered helpful

  2019cites this paper
• Spacetime Programming: A Synchronous Language for Composable Search Strategies

  2019cites this paper
• Soft Constraints in MiniBrass: Foundations and Applications

  2019influential citation
• Solver-Independent Large Neighbourhood Search

  2018cites this paper
• Spacetime programming: a synchronous language for constraint search

  2018cites this paper
• Solution Dominance over Constraint Satisfaction Problems

  2018influential citation
• Context-aware reconfiguration in evolving software product lines

  2018influential citation
• MiniBrass: Soft constraints for MiniZinc

  2018cites this paper
• A Framework for Constraint Based Local Search using Essence

  2018cites this paper
• Auto-tabling for subproblem presolving in MiniZinc

  2017cites this paper
• Search Strategies as Synchronous Processes (Extended Abstract)

  2017cites this paper
• Context Aware Reconfiguration in Software Product Lines

  2016influential citation
• Declarative Elasticity in ABS

  2016cites this paper
• Embarrassingly Parallel Search in Constraint Programming

  2016cites this paper
• Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies

  2016influential citation
• Dependable Software Engineering: Theories, Tools, and Applications

  2016cites this paper
• Scheduling and rostering with learning constraint solvers

  2016cites this paper
• User Profiles for Context-Aware Reconfiguration in Software Product Lines

  2016influential citation
• User Pro les for Context-Aware Recon guration in Software Product Lines

  2016cites this paper
• Towards flexible goal-oriented logic programming

  2016cites this paper
• Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies - Technical Report

  2016cites this paper
• Priority Search with MiniZinc

  year unknowncites this paper
• Declarative Elasticity in ABS (cid:63)

  year unknowncites this paper