Sciweavers

Share
CPAIOR
2008
Springer
9 years 9 months ago
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
Tino Teige, Martin Fränzle
CPAIOR
2008
Springer
9 years 9 months ago
The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...
Daniel H. Leventhal, Meinolf Sellmann
CPAIOR
2008
Springer
9 years 9 months ago
Gap Reduction Techniques for Online Stochastic Project Scheduling
Anticipatory algorithms for online stochastic optimization have been shown very effective in a variety of areas, including logistics, reservation systems, and scheduling. For such ...
Grégoire Dooms, Pascal Van Hentenryck
CPAIOR
2008
Springer
9 years 9 months ago
Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...
Philippe Galinier, Alain Hertz, Sandrine Paroz, Gi...
CPAIOR
2008
Springer
9 years 9 months ago
CP with ACO
Madjid Khichane, Patrick Albert, Christine Solnon
CPAIOR
2008
Springer
9 years 9 months ago
Fast and Scalable Domino Portrait Generation
A domino portrait is an approximation of an image using a given number of sets of dominoes. This problem was first stated in
Hadrien Cambazard, John Horan, Eoin O'Mahony, Barr...
CPAIOR
2008
Springer
9 years 9 months ago
Counting Solutions of Knapsack Constraints
Abstract. This paper furthers the recent investigation of search heuristics based on solution counting information, by proposing and evaluating algorithms to compute solution densi...
Gilles Pesant, Claude-Guy Quimper
CPAIOR
2008
Springer
9 years 9 months ago
The Steel Mill Slab Design Problem Revisited
Pascal Van Hentenryck, Laurent Michel
books