Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540410539, 9783540453499

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How to Model and Verify Concurrent Algorithms for Distributed CSPs

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_40 ◽

2000 ◽

pp. 510-514 ◽

Cited By ~ 2

Author(s):

Markus Hannebauer

Keyword(s):

Concurrent Algorithms

Download Full-text

Some Observations on Durations, Scheduling and Allen’s Algebra

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_35 ◽

2000 ◽

pp. 484-489 ◽

Cited By ~ 1

Author(s):

Ola Angelsmark ◽

Peter Jonsson

Download Full-text

An Empirical Study of Probabilistic Arc Consistency as a Variable Ordering Heuristic

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_43 ◽

2000 ◽

pp. 525-530 ◽

Cited By ~ 1

Author(s):

Michael C. Horsch ◽

William S. Havens

Keyword(s):

Empirical Study ◽

Arc Consistency ◽

Variable Ordering

Download Full-text

Constraints Inference Channels and Secure Databases

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_9 ◽

2000 ◽

pp. 98-113 ◽

Cited By ~ 6

Author(s):

Alexander Brodsky ◽

Csilla Farkas ◽

Duminda Wijesekera ◽

X. Sean Wang

Keyword(s):

Secure Databases

Download Full-text

Arc Consistency on n-ary Monotonic and Linear Constraints

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_34 ◽

2000 ◽

pp. 470-483 ◽

Cited By ~ 6

Author(s):

Zhang Yuanlin ◽

Roland H. C. Yap

Keyword(s):

Linear Constraints ◽

Arc Consistency

Download Full-text

Efficient Querying of Periodic Spatiotemporal Objects

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_29 ◽

2000 ◽

pp. 396-410 ◽

Cited By ~ 2

Author(s):

Peter Revesz ◽

Mengchu Cai

Download Full-text

Practical Investigation of Constraints with Graph Views

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_24 ◽

2000 ◽

pp. 320-336 ◽

Cited By ~ 4

Author(s):

Tobias Müller

Keyword(s):

Practical Investigation

Download Full-text

Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_21 ◽

2000 ◽

pp. 278-290 ◽

Cited By ~ 1

Author(s):

Bhaskar Krishnamachari ◽

Xi Xie ◽

Bart Selman ◽

Stephen Wicker

Keyword(s):

Random Walk ◽

Random Noise

Download Full-text

Universally Quantified Interval Constraints

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_7 ◽

2000 ◽

pp. 67-82 ◽

Cited By ~ 35

Author(s):

Frédéric Benhamou ◽

Frédéric Goualard

Keyword(s):

Interval Constraints

Download Full-text

On Dual Encodings for Non-binary Constraint Satisfaction Problems

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-45349-0_44 ◽

2000 ◽

pp. 531-536 ◽

Cited By ~ 2

Author(s):

S. Nagarajan ◽

S. Goodwin ◽

A. Sattar ◽

J. Thornton

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Binary Constraint

Download Full-text

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

How to Model and Verify Concurrent Algorithms for Distributed CSPs

Some Observations on Durations, Scheduling and Allen’s Algebra

An Empirical Study of Probabilistic Arc Consistency as a Variable Ordering Heuristic

Constraints Inference Channels and Secure Databases

Arc Consistency on n-ary Monotonic and Linear Constraints

Efficient Querying of Periodic Spatiotemporal Objects

Practical Investigation of Constraints with Graph Views

Analysis of Random Noise and Random Walk Algorithms for Satisfiability Testing

Universally Quantified Interval Constraints

On Dual Encodings for Non-binary Constraint Satisfaction Problems

Principles and Practice of Constraint Programming – CP 2000 - Lecture Notes in Computer Science
Latest Publications