A look at clp: theory and application

Applied Artificial Intelligence

Volumn 11, Issue 1, 1997, Pages 59-70

  Csonto, Julius ^a   Paralic, Jan ^a  

^a TECHNICAL UNIVERSITY OF KO ICE   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATA STRUCTURES; DIGITAL ARITHMETIC; PROBLEM SOLVING;

CONSTRAINT LOGIC PROGRAMMING (CLP);

LOGIC PROGRAMMING;

EID: 0030785985     PISSN: 08839514     EISSN: 10876545     Source Type: Journal    
DOI: 10.1080/088395197118343     Document Type: Article

References (8)

1. Cras, J. Y. 1993. A review of industrial constraint solving tools. AI Perspective Series. Oxford, United Kingdom.
2. Dincbas, M., P. Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. 1988. The constraint logic programming language CHIP. In Proceedings, International Conference on Fifth Generation Computer Systems. ICOT, Tokyo, December 1988.
3. Frühwirth, T., A. V. Herold, T. L. Provost, P. Lim, E. Monfroy, and M. Wallace. 1993. Constraint logic programming: An informal introduction. Technical Report ECRC-93-5.
4. Heinze, N., S. Michaylov, and P. Stuckey. 1992. CLP(R) and some electrical engineering problems. Journal of Automated Reasoning 9: 231-260.
5. Jaffar, J., and J. L. Lassez. 1987. Constraint logic programming. In Proceedings, 14 th ACM symposium on principles ofprogramming languages, pp. 111-119, Munich, January 1987.
6. Malindzhk, D. 1993. The project of automation and co-ordination the production schedules TSP, ZPO and NP div.
7. OCE14, VS a.s. Kosice. Technical Report. Technical University of Kosice, May 1993.
8. Mayoh, B., E. Tyungu, and T. Uuštalu. 1994. Constraint satisfaction and constraint programming: A brief lead-in. In B. Mayoh, E. Tyungu, and J. Penjam (eds.), Constraint programming. New York: Springer-Verlag.