171 citations
- Max Planck Institute for Gravitational PhysicsDE2 papers
- Aarhus UniversityDK1 paper
- Cornell UniversityUS1 paper
- ETH ZurichCH1 paper
- Hiroshima UniversityJP1 paper
- Institut des Hautes Études ScientifiquesFR1 paper
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT1 paper
- International Center for Relativistic AstrophysicsIT1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di TorinoIT1 paper
- Jet Propulsion LaboratoryUS1 paper
- Joint Institute for VLBI ERICNL1 paper
- Lancaster UniversityGB1 paper
8 papers · 1 filter
On Improving Local Search for Unsatisfiability
David Pereira, Inês Lynce, Steven Prestwich
Stochastic local search (SLS) has been an active field of research in the last few years, with new techniques and procedures being developed at an astonishing rate. SLS has been tr…
Multiset Ordering Constraints
Alan M. Frisch, Ian Miguel, Zeynep Kiziltan +2
We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered.…
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
Carmel Domshlak, Francesca Rossi, Kristen Brent Venable +1
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all th…
Stochastic Constraint Programming
Toby Walsh
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision…
Stochastic Constraint Programming: A Scenario-Based Approach
S. Armagan Tarim, Suresh Manandhar, Toby Walsh
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs contai…
The Complexity of Reasoning with Global Constraints
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich +1
Constraint propagation is one of the techniques central to the success of constraint programming. To reduce search, fast algorithms associated with each constraint prune the domain…