CP 2009 - PDF Preprint Papers

CP 2009 Principles and Practice of Constraint Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CP-2009 Paper

click to vote

CP
2009
Springer

206views Artificial Intelligence» more CP 2009»

Asynchronous Inter-Level Forward-Checking for DisCSPs

15 years 2 days ago

Download www.lirmm.fr

We propose two new asynchronous algorithms for solving Distributed Constraint Satisfaction Problems (DisCSPs). The first algorithm, AFC-ng, is a nogood-based version of Asynchronou...

Redouane Ezzahir, Christian Bessiere, Mohamed Wahb...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	206	Asynchronous Inter-Level Forward-Checking for DisCSPs	claim
2	169	Coalition Structure Generation Utilizing Compact Characteristic Function Representations	claim
3	164	Constraint-Based Local Search for the Automatic Generation of Architectural Tests	claim
4	161	Confidence-Based Work Stealing in Parallel Constraint Programming	claim
5	153	Approximating Weighted Max-SAT Problems by Compensating for Relaxations	claim
6	153	Dialectic Search	claim
7	151	Minimising Decision Tree Size as Combinatorial Optimisation	claim
8	149	Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition	claim
9	149	A Constraint on the Number of Distinct Vectors with Application to Localization	claim
10	143	Closing the Open Shop: Contradicting Conventional Wisdom	claim
11	142	From Model-Checking to Temporal Logic Constraint Solving	claim
12	142	Efficient Generic Search Heuristics within the EMBP Framework	claim
13	140	On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency	claim
14	139	Conflict Resolution	claim
15	136	Exploiting Problem Structure for Solution Counting	claim
16	136	Constraints of Difference and Equality: A Complete Taxonomic Characterisation	claim
17	130	Weakly Monotonic Propagators	claim
18	129	Constraint-Based Optimal Testing Using DNNF Graphs	claim
19	127	Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics	claim
20	127	Exploiting Problem Decomposition in Multi-objective Constraint Optimization	claim
21	122	Reasoning about Optimal Collections of Solutions	claim
22	121	Evaluation of Length-Lex Set Variables	claim
23	120	Constraint-Based Graph Matching	claim
24	120	A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms	claim
25	119	Hull Consistency under Monotonicity	claim
26	119	Propagator Groups	claim
27	116	Restricted Global Grammar Constraints	claim
28	116	Lazy Clause Generation Reengineered	claim
29	115	The Complexity of Valued Constraint Models	claim
30	115	Maintaining State in Propagation Solvers	claim
31	115	Filtering Numerical CSPs Using Well-Constrained Subsystems	claim
32	114	Generating Optimal Stowage Plans for Container Vessel Bays	claim
33	114	The Proper Treatment of Undefinedness in Constraint Languages	claim
34	113	Why Cumulative Decomposition Is Not as Bad as It Sounds	claim
35	111	Same-Relation Constraints	claim
36	111	On the Structure of Industrial SAT Instances	claim
37	109	SOGgy Constraints: Soft Open Global Constraints	claim
38	109	Using Relaxations in Maximum Density Still Life	claim
39	108	Pin Assignment Using Stochastic Local Search Constraint Programming	claim
40	107	Search Spaces for Min-Perturbation Repair	claim
41	107	Minimizing the Maximum Number of Open Stacks by Customer Search	claim
42	103	A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem	claim
43	101	On the Power of Clause-Learning SAT Solvers with Restarts	claim
44	99	Snake Lex: An Alternative to Double Lex	claim
45	92	Failed Value Consistencies for Constraint Satisfaction	claim
46	89	An Interpolation Method for CLP Traversal	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers