default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWCLP 1991: Marseilles, France
- Frédéric Benhamou, Alain Colmerauer:
Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France. MIT Press 1993, ISBN 0-262-02353-9
Theoretical Aspects
- Georges Blanc, Noëlle Bleuzen-Guernalec:
Constraints in Rational Abstract Models. WCLP 1991: 5-16 - Jim Cox, Ken McAloon:
Decision Procedures for Constraint Based Extensions of Datalog. WCLP 1991: 17-32 - Jean-Louis Lassez, Ken McAloon:
A Constraint Sequent Calculus. WCLP 1991: 33-43
Numerical Contraints
- Jean-Louis Imbert, Pascal Van Hentenryck:
On the Handling of Disequations in CLP over Linear Rational Arithmetic. WCLP 1991: 49-71 - Jean-Louis Lassez, Tien Huynh, Ken McAloon:
Simplification and Elimination of Redundant Linear Arithmetic Constraints. WCLP 1991: 73-87 - Alain Colmerauer:
Naive Solving of Non-linear Constraints. WCLP 1991: 89-112 - Joachim Hollman, Lars Langemyr:
Algorithms for Non-linear Constraints. WCLP 1991: 113-131 - Hoon Hong:
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. WCLP 1991: 133-159 - Shinichi Sato, Akira Aiba:
An Application of CAL to Robotics. WCLP 1991: 161-173 - William J. Older, André Vellino:
Constraint Arithmetic on Real Intervals. WCLP 1991: 175-195
Boolean and Other Finite Domains
- Ugo Montanari, Francesca Rossi:
Finite Domain Constraint Solving and Constraint Logic Programming. WCLP 1991: 201-221 - Jean-Luc Massat:
Using Local Consistency Techniques to Solve Boolean Constraints. WCLP 1991: 223-235 - Antoine Rauzy:
Using Enumerative Methods for Boolean Unification. WCLP 1991: 237-251 - Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba:
A Study on Boolean Constraint Solvers. WCLP 1991: 253-267 - Helmut Simonis, Mehmet Dincbas:
Propositional Calculus Problems in CHIP. WCLP 1991: 269-285 - Alfonso San Miguel Aguirre:
How to Use Symmetries in Boolean Constraint Solving. WCLP 1991: 287-306 - Frédéric Benhamou:
Boolean Algorithms in Prolog III. WCLP 1991: 307-325 - Alexander Bockmayr:
Logic Programming with Pseudo-Boolean Constraints. WCLP 1991: 327-350
CLP Language Design
- Timothy J. Hickey:
Functional Constraints in CLP Languages. WCLP 1991: 355-381 - Pascal Van Hentenryck, Yves Deville:
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403 - Gert Smolka:
Residuation and Guarded Rules for Constraint Logic Programming. WCLP 1991: 405-419 - Abderrahmane Aggoun, Nicolas Beldiceanu:
Overview of the CHIP Compiler System. WCLP 1991: 421-435 - Philippe Codognet, François Fages, Thierry Sola:
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456 - Jacques Cohen, Pascal Koiran, Catherine Perrin:
Meta-Level Interpretation of CLP(Lists). WCLP 1991: 457-481
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.
last updated on 2025-01-29 21:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
