Sciweavers

9 search results - page 1 / 2
» csclp 2006
Sort
View
71
Voted
CSCLP
2006
Springer
15 years 1 months ago
Solving First-Order Constraints in the Theory of the Evaluated Trees
Thi-Bich-Hanh Dao, Khalil Djelloul
CSCLP
2006
Springer
15 years 1 months ago
Extracting Microstructure in Binary Constraint Networks
Abstract. We present algorithms that perform the extraction of partial assignments from binary Constraint Satisfaction Problems without introducing new constraints. They are based ...
Chavalit Likitvivatanavong, Roland H. C. Yap
76
Voted
CSCLP
2006
Springer
15 years 1 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
77
Voted
CSCLP
2006
Springer
15 years 1 months ago
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
Marc Meister, Khalil Djelloul, Thom W. Frühwi...
69
Voted
CSCLP
2006
Springer
15 years 1 months ago
Cost-Based Filtering for Stochastic Inventory Control
Abstract. An interesting class of production/inventory control problems considers a single product and a single stocking location, given a stochastic demand with a known non-statio...
Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven...