| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Frédéric Benhamou, Alain Colmerauer (eds.) |
Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France.  |
WCLP  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Gert Smolka |
Residuation and Guarded Rules for Constraint Logic Programming. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Alain Colmerauer |
Naive Solving of Non-linear Constraints. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Hoon Hong |
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Alexander Bockmayr |
Logic Programming with Pseudo-Boolean Constraints. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ugo Montanari, Francesca Rossi 0001 |
Finite Domain Constraint Solving and Constraint Logic Programming. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jim Cox, Ken McAloon |
Decision Procedures for Constraint Based Extensions of Datalog. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Tien Huynh, Ken McAloon |
Simplification and Elimination of Redundant Linear Arithmetic Constraints. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Shinichi Sato, Akira Aiba |
An Application of CAL to Robotics. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pascal Van Hentenryck, Yves Deville |
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Benhamou |
Boolean Algorithms in Prolog III. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Joachim Hollman, Lars Langemyr |
Algorithms for Non-linear Constraints. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Imbert, Pascal Van Hentenryck |
On the Handling of Disequations in CLP over Linear Rational Arithmetic. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Philippe Codognet, François Fages, Thierry Sola |
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Antoine Rauzy |
Using Enumerative Methods for Boolean Unification. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Lassez, Ken McAloon |
A Constraint Sequent Calculus. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Abderrahmane Aggoun, Nicolas Beldiceanu |
Overview of the CHIP Compiler System. (this paper is a modified version of the paper in ICLP 1991: 775-789) |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Timothy J. Hickey |
Functional Constraints in CLP Languages. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba |
A Study on Boolean Constraint Solvers. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jacques Cohen, Pascal Koiran, Catherine Perrin |
Meta-Level Interpretation of CLP(Lists). |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Alfonso San Miguel Aguirre |
How to Use Symmetries in Boolean Constraint Solving. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jean-Luc Massat |
Using Local Consistency Techniques to Solve Boolean Constraints. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Georges Blanc, Noëlle Bleuzen-Guernalec |
Constraints in Rational Abstract Models. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Helmut Simonis, Mehmet Dincbas |
Propositional Calculus Problems in CHIP. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | William J. Older, André Vellino |
Constraint Arithmetic on Real Intervals. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license