default search action

combined dblp search
author search
venue search
publication search

ask others

Constraint Programming, 1995

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/lncs/1994-910
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/1994-910
Andreas Podelski:
Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers. Lecture Notes in Computer Science 910, Springer 1995, ISBN 3-540-59155-9
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Benhamou94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Benhamou94
Frédéric Benhamou:
Interval Constraint Logic Programming. 1-21
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Bockmayr94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Bockmayr94
Alexander Bockmayr:
Solving Pseudo-Boolean Constraints. 22-38
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/CodognetN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/CodognetN94
Philippe Codognet, Giuseppe Nardiello:
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods. 39-61
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Comon94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Comon94
Hubert Comon:
Constraints in Term Algebras: An Overview of Constraint Solving Techniques. 62-67
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Fages94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Fages94
François Fages:
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages. 68-89
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Fruhwirth94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Fruhwirth94
Thom W. Frühwirth:
Constraint Handling Rules. 90-107
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Imbert94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Imbert94
Jean-Louis Imbert:
Linear Constraint Solving in CLP-Languages. 108-127
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Kirchner94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Kirchner94
Hélène Kirchner:
On the Use of Constraints in Automated Deduction. 128-146
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Charlier94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Charlier94
Baudouin Le Charlier:
Abstract Interpretation and Finite Domain Symbolic Constraints. 147-170
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/MontanariR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/MontanariR94
Ugo Montanari, Francesca Rossi:
Concurrency and Concurrent Constraint Programming. 171-192
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Rauzy94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Rauzy94
Antoine Rauzy:
Toupie: a Constraint Language for Model Checking. 193-208
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Ridoux94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Ridoux94
Olivier Ridoux:
Imagining CLP(A, equiv alpha beta). 209-230
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Rueher94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Rueher94
Michel Rueher:
An Architecture for Cooperating Constraint Solvers on Reals. 231-250
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/Smolka94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/Smolka94
Gert Smolka:
The Definition of Kernel Oz. 251-292
- view
  authority control:
- export record
  dblp key:
  - journals/lncs/HentenryckSD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lncs/HentenryckSD94
Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville:
Design, Implementation, and Evaluation of the Constraint Language cc(FD). 293-316

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.