Sciweavers

4266 search results - page 320 / 854
» The container loading problem
Sort
View
CP
2007
Springer
15 years 11 months ago
Solution Counting Algorithms for Constraint-Centered Search Heuristics
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same ...
Alessandro Zanarini, Gilles Pesant
CPAIOR
2007
Springer
15 years 11 months ago
Modeling the Regular Constraint with Integer Programming
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
Marie-Claude Côté, Bernard Gendron, L...
CSL
2007
Springer
15 years 11 months ago
Clique-Width and Parity Games
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
Jan Obdrzálek
156
Voted
FAW
2007
Springer
115views Algorithms» more  FAW 2007»
15 years 11 months ago
An O ( nm )-Time Certifying Algorithm for Recognizing HHD-Free Graphs
In this paper, we consider the recognition problem on a class of perfectly orderable graphs, namely, the HHD-free graphs, i.e., graphs that do not contain any induced subgraph iso...
Stavros D. Nikolopoulos, Leonidas Palios
133
Voted
ICPR
2006
IEEE
15 years 11 months ago
Adaptive Binarization of Historical Document Images
In this paper, we present a binarization technique specifically designed for historical document images. Existing methods for this problem focus on either finding a good global th...
Ergina Kavallieratou, Efstathios Stamatatos