Lecture Notes in Computer Science - Recent Advances in Constraints
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540738169

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Attempt to Dynamically Break Symmetries in the Social Golfers Problem

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_2 ◽

2007 ◽

pp. 33-47

Author(s):

Francisco Azevedo

Keyword(s):

The Social

Download Full-text

Solving First-Order Constraints in the Theory of the Evaluated Trees

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_7 ◽

2007 ◽

pp. 108-123 ◽

Cited By ~ 1

Author(s):

Thi-Bich-Hanh Dao ◽

Khalil Djelloul

Keyword(s):

First Order ◽

Order Constraints

Download Full-text

Extracting Microstructure in Binary Constraint Networks

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_8 ◽

2007 ◽

pp. 124-138

Author(s):

Chavalit Likitvivatanavong ◽

Roland H. C. Yap

Keyword(s):

Constraint Networks ◽

Binary Constraint

Download Full-text

A Constraint Model for State Transitions in Disjunctive Resources

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_3 ◽

2007 ◽

pp. 48-62

Author(s):

Roman Barták ◽

Ondřej Čepek

Keyword(s):

State Transitions ◽

Constraint Model

Download Full-text

Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_10 ◽

2007 ◽

pp. 154-168

Author(s):

Igor Razgon ◽

Barry O’Sullivan

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Efficient Recognition

Download Full-text

Hybrid Algorithms in Constraint Programming

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_1 ◽

2007 ◽

pp. 1-32 ◽

Cited By ~ 1

Author(s):

Mark Wallace

Keyword(s):

Constraint Programming ◽

Hybrid Algorithms

Download Full-text

Distributed Forward Checking May Lie for Privacy

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_6 ◽

2007 ◽

pp. 93-107 ◽

Cited By ~ 2

Author(s):

Ismel Brito ◽

Pedro Meseguer

Download Full-text

Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_9 ◽

2007 ◽

pp. 139-153

Author(s):

Marc Meister ◽

Khalil Djelloul ◽

Thom Frühwirth

Download Full-text

Bipolar Preference Problems: Framework, Properties and Solving Techniques

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_5 ◽

2007 ◽

pp. 78-92 ◽

Cited By ~ 5

Author(s):

Stefano Bistarelli ◽

Maria Silvia Pini ◽

Francesca Rossi ◽

K. Brent Venable

Download Full-text

Reusing CSP Propagators for QCSPs

Lecture Notes in Computer Science - Recent Advances in Constraints ◽

10.1007/978-3-540-73817-6_4 ◽

2007 ◽

pp. 63-77 ◽

Cited By ~ 2

Author(s):

Marco Benedetti ◽

Arnaud Lallouet ◽

Jérémie Vautard

Download Full-text

Lecture Notes in Computer Science - Recent Advances in ConstraintsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An Attempt to Dynamically Break Symmetries in the Social Golfers Problem

Solving First-Order Constraints in the Theory of the Evaluated Trees

Extracting Microstructure in Binary Constraint Networks

A Constraint Model for State Transitions in Disjunctive Resources

Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems

Hybrid Algorithms in Constraint Programming

Distributed Forward Checking May Lie for Privacy

Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees

Bipolar Preference Problems: Framework, Properties and Solving Techniques

Reusing CSP Propagators for QCSPs

Lecture Notes in Computer Science - Recent Advances in Constraints
Latest Publications