M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Combinatorial Optimization in OPL Studio - Van Hentenryck Michel (1999) Self-citation (Van hentenryck) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
Pascal Van Hentenryck - Brown University Laurent (2000) Self-citation (Van hentenryck) (Correct)
No context found.
DINCBAS, M., VAN HENTENRYCK, P., SIMONIS, H., AGGOUN, A., GRAF,T.,AND BERTHIER, F. 1988. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems (Tokyo, Japan, December 1988).
A Preview of OPL - Pascal Van Hentenryck (2000) Self-citation (Van hentenryck) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988. 18
OPL Script: Composing and Controlling Models - Pascal Van Hentenryck (2000) Self-citation (Van hentenryck) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
Localizer++: An Open Library for Local Search - Michel, Van Hentenryck (2001) Self-citation (Van hentenryck) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
No context found.
Dincbas, M., Van Hentenryck, P., Simonis, H., and Aggoun, A. 1988.The Constraint Logic Programming Language CHIP. Proceedings of the 2nd International Conference of Fifth Generation Computer Systems. pp.249-264.
Constraint Propagation - Bessiere (2006) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, and A. Aggoun. The constraint logic programming language chip. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 693--702, Tokyo, Japan, 1988.
Interactive Geometric Constraint Systems - Brunkhart (1994) (5 citations) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Bertheir. The constraint logic programming language CHIP. In Proceedings of International Conference on Fifth Generation Computer Systems, FGCS-88, 1988.
Bound Consistency on Linear Constraints in Finite - Domain Constraint Programming (Correct)
No context found.
Dincbas, M., van Hentenryck,P., Simonis,H. and Aggoun, A., The Constraint Logic Programming Language CHIP, Proceedings of the 2nd International Conference on Fifth Generation Computer Systems, 249264, 1988
Consistency Techniques for Linear Arithmetic and Functional.. - Zhang (1998) (Correct)
No context found.
Dincbas, M., van Hentenryck,P., Simonis,H. and Aggoun, A., The Constraint Logic Programming Language CHIP, Proceedings of the 2nd International Conference on Fifth Generation Computer Systems,241/ 1988
Consistency Techniques in Constraint Networks - Yuanlin (2003) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings of the 2nd International Conference on Fifth Generation Computer Systems, pages 693--264, Tokyo, Japan, 1988.
Branching: the Essence of Constraint Solving - Fernández, Hill (Correct)
No context found.
M. Dincbas, P.Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In ICOT, editor, International Conference on Fith Generation Computer Systems (FGCS'88), pages 693--702, Tokyo, Japan, November-December 1988. OHMSHA Ltd. and Springer-Verlag.
Constraint Query Algebras - Goldin (1997) (17 citations) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier. The Constraint Logic Programming Language CHIP. Proc. Fifth Generation Computer Systems, Tokyo Japan, 1988.
On Similarity Queries for Time-Series Data: Constraint.. - Goldin, Kanellakis (1995) (53 citations) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier. The Constraint Logic Programming Language CHIP. Proc. Fifth Generation Computer Systems, Tokyo Japan, 1988.
Coordination as Negotiated Transactions - Andreoli (1996) (Correct)
No context found.
M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, and T. Graf. The constraint logic programming language CHIP. In Proc. of FGCS'88, 1988.
Modeling the User's Constraint Domain - Ringwelski (Correct)
No context found.
M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language chip. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS88), 1988.
Solving Geometrical Constraint Systems Using CLP Based on Linear .. - Bouhineau (1996) (1 citation) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP , In Proceedings of the Internationnal Conference on 5 Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
Dealing with Incomplete Knowledge on CLP(FD) Variable.. - Gavanelli, Lamma, Mello, .. (2003) (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer System, pages 693--702, Tokyo, Japan, 1988. OHMSHA Ltd. Tokyo and Springer-Verlag.
Quantifier Elimination-Based Constraint Logic Programming - Thomas Sturm Fmi (Correct)
No context found.
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, and Francoise Berthier. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, Decemeber 1988, pages 693--702. Ohmsha Publishers, Tokyo, 1988.
Flexible and Efficient Similarity Querying for Time-series.. - Goldin, Millstein, Kutlu (2003) (Correct)
No context found.
Dincbas M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier. The Constraint Logic Programming Language CHIP. Proc. Fifth Generation Computer Systems, Tokyo Japan, 1988.
CLP(χ) for Automatically Proving Program Properties - Mesnard, Hoarau, Maillard (1994) (Correct)
No context found.
M. Dincbas, P. Van Hentenrick, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. Proc. of FGCS'88, pages 693--702, 1988.
Unknown - (Correct)
No context found.
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988.
A Constraint-based Framework for the Cascade.. - Bistarelli, Foley.. (2004) (Correct)
No context found.
Dincbas, M., P. V. Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier, The constraint logic programming language chip, in: Proceedings of FGCS, 1988, pp. 693--702.
Constraint Programming for Natural Language Processing - Duchier (2000) (Correct)
No context found.
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahamane Aggoun, Thomas Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88, pages 693--702, Tokyo, Japan, December 1988.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC