A survey of constraint-based programming paradigms
暂无分享,去创建一个
[1] Francesca Rossi,et al. Soft Concurrent Constraint Programming , 2002, ESOP.
[2] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .
[3] Toby Walsh,et al. Handbook of Constraint Programming (Foundations of Artificial Intelligence) , 2006 .
[4] Laura Ferrari,et al. Constraint-Based Policy Negotiation and Enforcement for Telco Services , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
[5] Stefano Bistarelli,et al. A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation , 2009, VODCA@FOSAD.
[6] Peter J. Stuckey,et al. Constraint Logic Programming , 1992, Handbook of Constraint Programming.
[7] Didier Dubois,et al. The Use of Fuzzy Constraints in Job-Shop Scheduling. , 1994 .
[8] Gert Smolka. The Oz Programming Model , 1996 .
[9] Maria Grazia Buscemi,et al. Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings , 2007, European Symposium on Programming.
[10] Peter J. Stuckey,et al. Introduction to Constraint Logic Programming , 1998 .
[11] Francesca Rossi,et al. Semiring-based Constraint Logic Programming , 1997, IJCAI.
[12] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[13] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[14] Stefano Bistarelli. Semirings for Soft Constraint Solving and Programming , 2004, Lecture Notes in Computer Science.
[15] Didier Dubois,et al. Fuzzy constraints in job-shop scheduling , 1995, J. Intell. Manuf..
[16] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[17] Peter van Beek,et al. A Theoretical Evaluation of Selected Backtracking Algorithms , 1995, IJCAI.
[18] Thomas Schiex,et al. Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.
[19] Dana S. Scott,et al. Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.
[20] Krzysztof R. Apt,et al. Constraint logic programming using Eclipse , 2007 .
[21] Frank D. Valencia,et al. A Temporal Concurrent Constraint Programming Calculus , 2001, CP.
[22] Rina Dechter,et al. Constraint Processing , 1995, Lecture Notes in Computer Science.
[23] Francesca Rossi,et al. Semiring-based constraint satisfaction and optimization , 1997, JACM.
[24] Radha Jagadeesan,et al. Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..
[25] J. Pin. Tropical Semirings , 2005 .
[26] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[27] Vijay A. Saraswat,et al. Concurrent constraint programming , 1989, POPL '90.
[28] Ugo Montanari,et al. Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..