Synthesizing Filtering Algorithms for Global Chance-Constraints

No abstract is available for this paper.

• Publication year

  2009

• Venue

  International Conference on Principles and Practice of Constraint Programming

• Publication date

  2009-09-20

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-04244-7_36
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Introduction to Stochastic Programming

  2009cited by this paper
• Stochastic Constraint Programming: A Scenario-Based Approach

  2009influential reference
• Cost-Based Domain Filtering for Stochastic Constraint Programming

  2008cited by this paper
• A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints

  2008cited by this paper
• CHOCO: implementing a CP kernel

  2007influential reference
• Algorithms for Stochastic CSPs

  2006influential reference
• Stochastic Constraint Programming

  2002influential reference
• Towards Stochastic Constraint Programming: A Study of Online Multi-choice Knapsack with Deadlines

  2001influential reference
• Deterministic Equivalents for Optimizing and Satisficing under Chance Constraints

  1963cited by this paper
• Theory of Probability

  year unknowncited by this paper

• Distribution Optimization in Constraint Programming

  2023cites this paper
• Une nouvelle approche au General Game Playing dirigée par les contraintes. (Une nouvelle approche au General Game Playing dirigée par les contraintes)

  2016cites this paper
• Explorer Constraint programming for stochastic inventory systems under shortage cost

  2016cites this paper
• Explorer Filtering algorithms for global chance constraints

  2015cites this paper
• The Impact of Wireless Communication on Distributed Constraint Satisfaction

  2014cites this paper
• Lazy Annotation Revisited

  2014cites this paper
• Algorithm Configuration in the Cloud: A Feasibility Study

  2014cites this paper
• A Parametric Framework for Cooperative Parallel Local Search

  2014cites this paper
• A Team Formation Tool for Educational Environments

  2014cites this paper
• Towards Conflict-Driven Learning for Virtual Substitution

  2014cites this paper
• Modelling with Option Types in MiniZinc

  2014cites this paper
• Parallel Depth-Bounded Discrepancy Search

  2014cites this paper
• An Empirical Study of Off-Line Configuration and On-Line Adaptation in Operator Selection

  2014cites this paper
• Local Search Based Approximate Algorithm for Multi-Objective DCOPs

  2014cites this paper
• Coalitional Games on Sparse Social Networks

  2014cites this paper
• The stop-and-drop problem in nonprofit food distribution networks

  2014cites this paper
• Hybrid metaheuristics for stochastic constraint programming

  2014cites this paper
• Parallel Combinatorial Optimization with Decision Diagrams

  2014cites this paper
• AClib: A Benchmark Library for Algorithm Configuration

  2014cites this paper
• An LNS Approach for Container Stowage Multi-port Master Planning

  2013cites this paper
• An Improved Search Algorithm for Min-Perturbation

  2013cites this paper
• Scheduling Optional Tasks with Explanation

  2013cites this paper
• A Constraint Solver Based on Abstract Domains

  2013cites this paper
• Hybrid Metaheuristics for Endogenous Stochastic Constraint Programming ⋆

  2013cites this paper
• Towards Parallel Constraint-Based Local Search with the X10 Language

  2013cites this paper
• A Model-Constructing Satisfiability Calculus

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

  2013cites this paper
• Constraint-Based Program Reasoning with Heaps and Separation

  2013cites this paper
• Dominance Driven Search

  2013cites this paper
• Simulating a Collective Intelligence Approach to Student Team Formation

  2013cites this paper
• Bandit-Based Search for Constraint Programming

  2013cites this paper
• From Resolution and DPLL to Solving Arithmetic Constraints

  2013cites this paper
• MiniZinc with Functions

  2013cites this paper
• A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint

  2013cites this paper
• Parallel Discrepancy-Based Search

  2013cites this paper
• Model Combinators for Hybrid Optimization

  2013cites this paper
• Introducing Real Variables and Integer Objective Functions to Answer Set Programming

  2013cites this paper
• A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints

  2013cites this paper
• Multi-Objective Constraint Optimization with Tradeoffs

  2013cites this paper
• Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem

  2013cites this paper
• Filtering algorithms for global chance constraints

  2012influential citation
• A Scalable Sweep Algorithm for the cumulative Constraint

  2012cites this paper
• Quantifying Homogeneity of Instance Sets for Algorithm Configuration

  2012cites this paper
• Inter-instance Nogood Learning in Constraint Programming

  2012cites this paper
• A Complete Method for Symmetry Reduction in Safety Verification

  2012cites this paper
• TRACER: A Symbolic Execution Tool for Verification

  2012cites this paper
• Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation

  2012cites this paper
• Complete Characterization of Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem

  2012cites this paper
• Automatically Configuring Algorithms for Scaling Performance

  2012cites this paper
• Conflict Directed Lazy Decomposition

  2012cites this paper
• The Community Structure of SAT Formulas

  2012cites this paper
• Increasing Symmetry Breaking by Preserving Target Symmetries

  2012cites this paper
• Flow-Based Combinatorial Chance Constraints

  2012influential citation
• Knowledge Compilation with Empowerment

  2012cites this paper
• A Hybrid Paradigm for Adaptive Parallel Search

  2012cites this paper
• Off the Trail: Re-examining the CDCL Algorithm

  2012cites this paper
• Including Soft Global Constraints in DCOPs

  2012cites this paper
• The Finite Domain Constraint Solver of SWI-Prolog

  2012cites this paper
• The Conjunction of Interval Among Constraints

  2012cites this paper
• Distributed Tree Decomposition with Privacy

  2012cites this paper
• Numeric Bounds Analysis with Conflict-Driven Learning

  2012cites this paper
• Specialization with Constrained Generalization for Software Model Checking

  2012cites this paper
• MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises

  2012cites this paper
• Improving the Performance of FD Constraint Solving in a CFLP System

  2012cites this paper
• Experiments in Parallel Constraint-Based Local Search

  2011cites this paper
• A Constraint Seeker: Finding and Ranking Global Constraints from Examples

  2011cites this paper
• IAMGA: Intimate-Based Assortative Mating Genetic Algorithm

  2011cites this paper
• Parametric Identification of Temporal Properties

  2011cites this paper
• Implementing Conflict Resolution

  2011cites this paper
• Constraint-Based Nurse Rostering for the Valparaíso Clinic Center in Chile

  2011cites this paper
• Risk-Averse Production Planning

  2011cites this paper
• Confidence-based Reasoning in Stochastic Constraint Programming

  2011cites this paper
• Fast Generation of Near-Optimal Plans for Eco-Efficient Stowage of Large Container Vessels

  2011cites this paper
• HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms

  2011cites this paper
• Checking and Filtering Global Set Constraints

  2011cites this paper
• Finding ( α , θ )-Solutions via Sampled SCSPs

  2011influential citation
• Unbounded Symbolic Execution for Program Verification

  2011cites this paper
• Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

  2011cites this paper
• Contextual Coalitional Games

  2011cites this paper
• Bin Repacking Scheduling in Virtualized Datacenters

  2011cites this paper
• Identifying Patterns in Sequences of Variables

  2011cites this paper
• Efficient Approximation Algorithms for Multi-objective Constraint Optimization

  2011cites this paper
• Between Restarts and Backjumps

  2011cites this paper
• Solving Systems of Linear Inequalities by Bound Propagation

  2011cites this paper
• Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource

  2011cites this paper
• Comparison of DCSP Algorithms: A Case Study for Multi-agent Exploration

  2011cites this paper
• A Portfolio Solver for Answer Set Programming: Preliminary Report

  2011cites this paper
• On Freezing and Reactivating Learnt Clauses

  2011cites this paper
• Sequential Model-Based Optimization for General Algorithm Configuration

  2011cites this paper
• Domain-Splitting Generalized Nogoods from Restarts

  2011cites this paper
• A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams

  2011cites this paper
• A Survey on CP-AI-OR Hybrids for Decision Making Under Uncertainty

  2011cites this paper
• Empirical Study of the Anatomy of Modern Sat Solvers

  2011cites this paper
• Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation

  2011cites this paper
• Constraint programming for stochastic inventory systems under shortage cost

  2011cites this paper
• Half Reification and Flattening

  2011cites this paper
• BDDs for Pseudo-Boolean Constraints - Revisited

  2011cites this paper
• Single-facility scheduling by logic-based Benders decomposition

  2011cites this paper
• Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT

  2010cites this paper
• MDE-based approach for generalizing design space exploration

  2010cites this paper