Lecture Notes in Computer Science - Constraint Programming: Basics and Trends
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540591559, 9783540492009

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_5 ◽

1995 ◽

pp. 68-89 ◽

Cited By ~ 3

Author(s):

François Fages

Keyword(s):

Higher Order ◽

Constructive Negation

Download Full-text

Interval constraint logic programming

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_1 ◽

1995 ◽

pp. 1-21 ◽

Cited By ~ 17

Author(s):

Frédéric Benhamou

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Interval Constraint

Download Full-text

Design, implementation, and evaluation of the constraint language cc(FD)

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_15 ◽

1995 ◽

pp. 293-316 ◽

Cited By ~ 25

Author(s):

Pascal Hentenryck ◽

Vijay Saraswat ◽

Yves Deville

Keyword(s):

Constraint Language

Download Full-text

Solving pseudo-Boolean constraints

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_2 ◽

1995 ◽

pp. 22-38 ◽

Cited By ~ 4

Author(s):

Alexander Bockmayr

Download Full-text

The definition of Kernel Oz

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_14 ◽

1995 ◽

pp. 251-292 ◽

Cited By ~ 13

Author(s):

Gert Smolka

Keyword(s):

Definition Of

Download Full-text

Concurrency and Concurrent Constraint Programming

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_10 ◽

1995 ◽

pp. 171-192 ◽

Cited By ~ 5

Author(s):

Ugo Montanari ◽

Francesca Rossi

Keyword(s):

Constraint Programming ◽

Concurrent Constraint Programming

Download Full-text

On the use of constraints in automated deduction

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_8 ◽

1995 ◽

pp. 128-146 ◽

Cited By ~ 6

Author(s):

Hélène Kirchner

Keyword(s):

Automated Deduction

Download Full-text

Constraints in term algebras an overview of constraint solving techniques

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_4 ◽

1995 ◽

pp. 62-67

Author(s):

Hubert Comon

Keyword(s):

Constraint Solving

Download Full-text

Imagining CLP(Λ,≡αβ)

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_12 ◽

1995 ◽

pp. 209-230

Author(s):

Olivier Ridoux

Download Full-text

Abstract interpretation and finite domain symbolic constraints

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends ◽

10.1007/3-540-59155-9_9 ◽

1995 ◽

pp. 147-170

Author(s):

Baudouin Charlier

Keyword(s):

Abstract Interpretation ◽

Finite Domain ◽

Symbolic Constraints

Download Full-text

Lecture Notes in Computer Science - Constraint Programming: Basics and TrendsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages

Interval constraint logic programming

Design, implementation, and evaluation of the constraint language cc(FD)

Solving pseudo-Boolean constraints

The definition of Kernel Oz

Concurrency and Concurrent Constraint Programming

On the use of constraints in automated deduction

Constraints in term algebras an overview of constraint solving techniques

Imagining CLP(Λ,≡αβ)

Abstract interpretation and finite domain symbolic constraints

Lecture Notes in Computer Science - Constraint Programming: Basics and Trends
Latest Publications