Strategic directions in constraint programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Strategic directions in constraint programming

Full text

Pdf (402 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 28 , Issue 4 (December 1996) table of contents
Special ACM 50th-anniversary issue: strategic directions in computing research

Pages: 701 - 726

Year of Publication: 1996

ISSN:0360-0300

Authors

Pascal Van Hentenryck	Brown Univ., Providence, RI
Vijay Saraswat	AT&T research, Murray Hill, NJ

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 26, Downloads (12 Months): 125, Citation Count: 11

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/242223.242279 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Foto N. Afrati , Stavros S. Cosmadakis , Stéphane Grumbach , Gabriel M. Kuper, Linear vs Polynomial Constraints in Database Query Languages, Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming, p.181-192, May 02-04, 1994
	2	AiT-KACI, H. AND PODELSKI, A. 1993. Towards a meaning of LIFE. J. Logic Program. 16, 3&4, 195-234.
	3	James F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, v.26 n.11, p.832-843, Nov. 1983 [doi>10.1145/182.358434]
	4	BALBIN, I., KEMP, D. B., MEENAKSHI, K., AND RA- MAMOHANARAO, K. 1989. Propagating constraints in recursive deductive databases. In Proceedings of the North American Conference on Logic Programming.
	5	BEST, E., DE BOER, F. S., AND PALAMIDESSI, C. 1995. Concurrent constraint programming with information removal. In First Conference on Concurrent Constraint Programming (Venice).
	6	BISTARELLI, S., MONTANARI, U., AND ROSSI, F. 1995. Constraint solving over semirings. In Proceedings of the International Joint Conference on Artificial Intelligence. Morgan-Kaufman, San Mateo, CA.
	7	Frank S. de Boer , Catuscia Palamidessi, A fully abstract model for concurrent constraint programming, Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1, p.296-319, April 1991, Brighton, United Kingdom
	8	Alan Borning, The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.353-387, Oct. 1981 [doi>10.1145/357146.357147]
	9	Alan Borning , Richard Anderson , Bjorn Freeman-Benson, Indigo: a local propagation algorithm for inequality constraints, Proceedings of the 9th annual ACM symposium on User interface software and technology, p.129-136, November 06-08, 1996, Seattle, Washington, United States [doi>10.1145/237091.237110]
	10	Alan Borning , Bjørn N. Freeman-Benson, The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces, Proceedings of the First International Conference on Principles and Practice of Constraint Programming, p.624-628, September 19-22, 1995
	11	Alan Borning , Bjorn Freeman-Benson , Molly Wilson, Constraint hierarchies, Lisp and Symbolic Computation, v.5 n.3, p.223-270, Sept. 1992 [doi>10.1007/BF01807506]
	12	Alexander Brodsky , Joxan Jaffar , Michael J. Maher, Toward Practical Constraint Databases, Proceedings of the 19th International Conference on Very Large Data Bases, p.567-580, August 24-27, 1993
	13	Alexander Brodsky , Catherine Lassez , Jean-Louis Lassez , Michael J. Maher, Separability of polyhedra for optimal filtering of spatial and constraint data, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.54-65, May 22-25, 1995, San Jose, California, United States [doi>10.1145/212433.212449]
	14	Francisco Bueno , Manuel V. Hermenegildo , Ugo Montanari , Francesca Rossi, From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics, Proceedings of the 4th International Conference on Algebraic and Logic Programming, p.114-132, September 14-16, 1994
	15	BUENO, F., JOSE GARC~A DE LA BANDA, M., HERME- NEGILDO, M., ROSSI, F., AND MONTANARI, U. 1994. Towards true concurrency semantics based transformation between CLP and CC. In Proceedings of the International Workshop on Principles and Practice of Constraint Programming, (Orcas Island, WA) Vol. 874 LNCS, A. Borning, Ed., Springer-Verlag.
	16	Jo-Hag Byon , Peter Z. Revesz, DISCO: A Constraint Database System with Sets, Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications, p.68-83, September 08-09, 1995
	17	J. Carlier , E. Pinson, An algorithm for solving the job-shop problem, Management Science, v.35 n.2, p.164-176, Feb. 1989 [doi>10.1287/mnsc.35.2.164]
	18	Jacques Chassin de Kergommeaux , Philippe Codognet, Parallel logic programming systems, ACM Computing Surveys (CSUR), v.26 n.3, p.295-336, Sept. 1994 [doi>10.1145/185403.185453]
	19	CHEESEMAN, P., KANEFSKY, B., AND TAYLOR, W. 1991. Where the really hard problems are. In Proceedings of the International Joint Conference on Artificial Intelligence, 331-337.
	20	Michael Codish , Moreno Falaschi , Kim Marriott, Suspension analyses for concurrent logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.649-686, May 1994 [doi>10.1145/177492.177656]
	21	Michael Codish , Moreno Falaschi , Kim Marriott , William H. Winsborough, Efficient Analysis of Concurrent Constraint Logic Programs, Proceedings of the 20th International Colloquium on Automata, Languages and Programming, p.633-644, July 05-09, 1993
	22	CODOGNET, P. AND DIAZ, D. 1996. Compiling constraints in clp(fd). J. Logic Program. 27, 3.
	23	CODOGNET, P. AND ROSSI, F. 1995. NMCC programming: Constraint enforcement and retraction in CC programming. In Proceedings of the International Conference on Logic Programming.
	24	Christian Codognet , Philippe Codognet , Marc-Michel Corsini, Abstract interpretation for concurrent logic languages, Proceedings of the 1990 North American conference on Logic programming, p.215-232, January 1990, Austin, Texas, United States
	25	Alain Colmerauer, An introduction to Prolog III, Communications of the ACM, v.33 n.7, p.69-90, July 1990 [doi>10.1145/79204.79210]
	26	Rina Dechter, Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition, Artificial Intelligence, v.41 n.3, p.273-312, Jan. 1990 [doi>10.1016/0004-3702(90)90046-3]
	27	DECHTER, R. 1992. Constraint networks. Encyclopedia of Artificial Intelligence, 276-285.
	28	R. Dechter , J. Pearl, Network-based heuristics for constraint-satisfaction problems, Artificial Intelligence, v.34 n.1, p.1-38, Dec. 1987 [doi>10.1016/0004-3702(87)90002-6]
	29	Rina Dechter , Peter van Beek, Local and Global Relational Consistency, Proceedings of the First International Conference on Principles and Practice of Constraint Programming, p.240-257, September 19-22, 1995
	30	Rina Dechter , Itay Meiri , Judea Pearl, Temporal constraint networks, Artificial Intelligence, v.49 n.1-3, p.61-95, May 1991 [doi>10.1016/0004-3702(91)90006-6]
	31	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).
	32	EUROPEAN COMPUTER RESEARCH CENTER. 1993. Eclipse User's Guide.
	33	FALASCHI, M., GABBRIELLI, M., MARRIOTT, Z., AND PALAMIDESSI, C. 1993. Compositional analysis for concurrent constraint programming. In Proceedings of the Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 210-221.
	34	PIKES, R. 1968. A heuristic program for solving problems stated as nondeterministic procedures. Ph.D. Thesis, Carnegie Mellon University.
	35	Eugene C. Freuder, Synthesizing constraint expressions, Communications of the ACM, v.21 n.11, p.958-966, Nov. 1978 [doi>10.1145/359642.359654]
	36	Eugene C. Freuder, A Sufficient Condition for Backtrack-Free Search, Journal of the ACM (JACM), v.29 n.1, p.24-32, Jan. 1982 [doi>10.1145/322290.322292]
	37	FREUDER, E. C. 1994. Exploiting structure in constraint satisfaction problems. In Constraint Programming, NATO ASI series, B. Mayoh, E. Tyugu, and J. Penjam, Eds., Springer-Verlag, 51-74.
	38	Eugene C. Freuder, Principles and Practice of Constraint Programming-CP '96: Second International Conference, CP 96, Cambridge, Ma, U. S. A., August 1996: Proceedings, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
	39	Thom W. Frühwirth, Constraint Handling Rules, Selected Papers from Constraint Programming: Basics and Trends, p.90-107, May 16-20, 1994
	40	Thom W. Frühwirth , Alexander Herold , Volker Küchenhoff , Thierry Le Provost , Pierre Lim , Eric Monfroy , Mark Wallace, Contraint Logic Programming - An Informal Introduction, Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action, p.3-35, September 07-11, 1992
	41	Maria J. García de la Banda , Francisco Bueno , Manuel V. Hermenegildo, Towards Independent And-Parallelism in CLP, Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs, p.77-91, September 24-27, 1996
	42	GARC~A DE LA BANDA, M., HERMENEGILDO, M., BRUYNOOGHE, M., DUMORTIER, V., JANSSENS, G., AND SIMOENS, W. 1997. Global analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. (to appear).
	43	M. García de la Banda , M. Hermenegildo , K. Marriott, Independence in constraint logic programs, Proceedings of the 1993 international symposium on Logic programming, p.130-146, December 1993, Vancouver, British Columbia, Canada
	44	GARCfA DE LA BANDA, M., MARRIOTT, K., AND STUCKEY, P. 1995. Efficient analysis of constraint logic programs with dynamic scheduling. In Proceedings of the International Logic Programming Symposium (Portland, OR, Dec.), MIT Press, Cambridge, MA.
	45	GASCHNIG, g. 1979. Performance measurement and analysis of search algorithms. Tech. Rep. CMU-CS-79-124, Carnegie Mellon University, Pittsburgh, PA.
	46	GLEICHER, M. 1995. Practical issues in programming constraints. In Principles and Practice of Constraint Programming: The Newport Papers, V. A. Saraswat and P. Van Hentenryck, Eds., MIT Press, Cambridge, MA, 407-426.
	47	Dina Q. Goldin, Constraint query algebras, Brown University, Providence, RI, 1997
	48	Kannan Govindarajan , Bharat Jayaraman , Surya Mantha, Optimization and relaxation in constraint logic languages, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.91-103, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237735]
	49	GROSS-BRUNSCHWILER, R. 1996. Implementation of constraint database system using a compile-time rewrite approach. Ph.D. Thesis, ETH.
	50	Stéphane Grumbach , Jianwen Su, Dense-order constraint databases (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.66-77, May 22-25, 1995, San Jose, California, United States [doi>10.1145/212433.212453]
	51	GRUMBACH, S., Su, J., AND TOLLU, C. 1995. Linear constraint databases. In Proceedings of the LCC; LNCS (to appear) Springer-Verlag.
	52	Vineet Gupta , Radha Jagadeesan , Vijay A. Saraswat, Truly Concurrent Constraint Programming, Proceedings of the 7th International Conference on Concurrency Theory, p.373-388, August 26-29, 1996
	53	V. Gupta , R. Jagadeesan , V. A. Saraswat, Computing with continuous change, Science of Computer Programming, v.30 n.1-2, p.3-49, Jan. 1998 [doi>10.1016/S0167-6423(97)00006-3]
	54	Vineet Gupta , Radha Jagadeesan , Vijay A. Saraswat , Daniel G. Bobrow, Programming in Hybrid Constraint Languages, Hybrid Systems II, p.226-251, January 1995
	55	M. R. Hansen , B. S. Hansen , P. Lucas , P. van Emde Boas, Integrating relational databases and constraint languages, Computer Languages, v.14 n.2, p.63-82, Aug. 1989 [doi>10.1016/0096-0551(89)90014-3]
	56	HARALICK, M. AND ELLIOT, J. 1980. Increasing tree-search efficiency for constraint satisfaction problems. Artif. Intell. 14, 263-313.
	57	Seif Haridi , Sverker Janson, Kernel Andorra Prolog and its computation model, Logic programming, MIT Press, Cambridge, MA, 1990
	58	Richard Helm , Tien Huynh , Catherine Lassez , Kim Marriot, A linear constraint technology for interactive graphic systems, Proceedings of the conference on Graphics interface '92, p.301-309, September 1992, Vancouver, British Columbia, Canada
	59	HERMENEGILDO, M., MARRIOTT, Z., PUEBLA, G., AND STUCKEY, P. 1995. Incremental analysis of logic programs. In International Conference on Logic Programming, (June), MIT Press, Cambridge, MA, 797-811.
	60	Manuel V. Hermenegildo, Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System, Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming, p.123-133, May 02-04, 1994
	61	HEYDON, A. AND NELSON, G. 1994. The Juno-2 constraint-based drawing editor. Tech. Rep. 131a, DEC Systems Research Center, Palo Alto, CA.
	62	Christian Holzbaur, Metastructures versus Attributed Variables in the Context of Extensible Unification, Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, p.260-268, August 26-28, 1992
	63	HOSOBE, H., MATSUOKA, S., AND YONEZAWA, A. 1996. Generalized local propagation: A framework for solving constraint hierarchies. In Proceedings of the International Conference on Principles and Practice of Constraint Programming, (Boston), E. C. Freuder, Ed., Vol. 1118, Springer-Verlag.
	64	J. Jaffar , J.-L. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.111-119, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41635]
	65	JAFFAR, J. AND MAHER, M.J. 1994. Constraint logic programming: A survey. J. Logic Program. 19 & 20, 503-581.
	66	Joxan Jaffar , Peter J. Stuckey , Spiro Michaylov , Roland H. C. Yap, An abstract machine for CLP(R), Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, p.128-139, June 15-19, 1992, San Francisco, California, United States
	67	Joxan Jaffar , Spiro Michaylov , Peter J. Stuckey , Roland H. C. Yap, The CLP( R ) language and system, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.3, p.339-395, July 1992 [doi>10.1145/129393.129398]
	68	Over-Constrained Systems, January 1996
	69	JEAVONS, P., COHEN, D., AND GYSSENS, M. 1996. A test for tractability. In Principles and Practice of Constraint Programming, E. C. Freuder, Ed., LNCS, No. 1118, Springer- Verlag, Boston, MA, 267-281.
	70	Proceedings of the First International Conference on Constraints in Computational Logics, September 1994
	71	F. Kabanza , J.-M. Stevenne , P. Wolper, Handling infinite temporal data, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.392-403, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298590]
	72	Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz, Constraint query languages, Journal of Computer and System Sciences, v.51 n.1, p.26-52, Aug. 1995
	73	Paris C. Kanellakis , Sridhar Ramaswamy , Darren E. Vengroff , Jeffrey S. Vitter, Indexing for data models with constraints and classes (extended abstract), Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.233-243, May 25-28, 1993, Washington, D.C., United States [doi>10.1145/153850.153884]
	74	KELLY, A. D., MACDONALD, A., MARRIOTT, K., STUCKEY, P. J., AND YAP, R. H. C. 1996. Effectiveness of optimizing compilation for clp(r). In Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 37-51.
	75	KONDRAK, G. AND VAN BEEK, P. 1995. A theoretical evaluation of selected backtracking algorithms. In Proceedings of the International Joint Conference on Artificial Intelligence (Montreal), 541-547.
	76	KUPER, G. M. 1993. Aggregation in constraint databases. In Proceedings of the Workshop on Principles and Practice of Constraint Programming.
	77	J.-L. Lassez , M. J. Maher , K. Marriott, Unification revisited, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	78	LAURIERE, J.-L. 1978. A language and a program for stating and solving combinatorial problems. Artif. Intell. 10, 1.
	79	Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv, Query Optimization by Predicate Move-Around, Proceedings of the 20th International Conference on Very Large Data Bases, p.96-107, September 12-15, 1994
	80	Alon Levy , Yehoshua Sagiv, Constraints and redundancy in datalog, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.67-80, June 02-05, 1992, San Diego, California, United States [doi>10.1145/137097.137111]
	81	Liang-Liang Li , Mike Reeve , Kees Schuerman , André Véron , Jacques Bellone , Claudine Pradelles , Zissis Palaskas , Takis Stamatopoulos , Dominic Clark , S. Doursenot , Chris Rawlings , Jack Shirazi , Guiseppe Sardu, APPLAUSE: applications using the ElipSys parallel CLP system, Proceedings of the tenth international conference on logic programming on Logic programming, p.847-848, August 1993, Budapest, Hungary
	82	MACKWORTH, A. K. 1977. Consistency in networks of relations. Artif. Intell. 8, 1.
	83	MACKWORTH, A. K. 1992. Constraint satisfaction. In Encyclopedia of Artificial Intelligence, 285-293.
	84	Alan K. Mackworth , Eugene C. Freuder, The complexity of some polynomial network consistency algorithms for constraint satisfaction problems, Artificial Intelligence, v.25 n.1, p.65-74, Jan. 1985 [doi>10.1016/0004-3702(85)90041-4]
	85	MACKWORTH, A. K. AND FREUDER, E. C. 1993. The complexity of constraint satisfaction revisited. Artif. Intell. 25, 57-62.
	86	MAHER, M.g. 1987. Logic semantics for a class of committed-choice programs. In Proceedings of the International Conference on Logic Programming, MIT Press, Cambridge, MA.
	87	Kimball G. Marriott , Peter J. Stuckey, The 3 R's of optimizing constraint logic programs: refinement, removal and reordering, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.334-344, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158685]
	88	Kim Marriott , María José García de la Banda , Manuel Hermenegildo, Analyzing logic programs with dynamic scheduling, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.240-253, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177883]
	89	MCALOON, K. AND TRETKOFF, C. 1997. Logic, modeling and programming. Ann. Oper. Res. (to appear).
	90	MEIER, M. 1996. Grace User Manual. Available at http://www.ecrc.de/eclipse/html/grace/grace. html.
	91	MINTON, S. 1996. Automatically configuring constraint satisfaction programs: A case study. Constraints 1/2, 4-31.
	92	Steven Minton , Mark D. Johnston , Andrew B. Philips , Philip Laird, Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems, Artificial Intelligence, v.58 n.1-3, p.161-205, Dec. 1992 [doi>10.1016/0004-3702(92)90007-K]
	93	MONTANARI, U. 1970. Networks of constraints: Fundamental properties and application to picture processing. Inf. Sci. 7, 1974. Also Tech. Rep., Carnegie Mellon University, 1970.
	94	MONTANARI, U. AND ROSSI, F. 1995a. A concurrent semantics for concurrent constraint programming via contextual nets. In Principles and Practice of Constraint Programming: The Newport Papers. V. A. Saraswat and P. Van Hentenryck, Eds., MIT Press, Cambridge, MA.
	95	Proceedings of the First International Conference on Principles and Practice of Constraint Programming, September 1995
	96	Inderpal Singh Mumick , Sheldon J. Finkelstein , Hamid Pirahesh , Raghu Ramakrishnan, Magic conditions, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.314-330, April 02-04, 1990, Nashville, Tennessee, United States [doi>10.1145/298514.298584]
	97	Brad A. Myers, The Amulet user interface development environment, Conference companion on Human factors in computing systems: common ground, p.327, April 13-18, 1996, Vancouver, British Columbia, Canada [doi>10.1145/257089.257351]
	98	George L. Nemhauser , Laurence A. Wolsey, Integer and combinatorial optimization, Wiley-Interscience, New York, NY, 1988
	99	NEUMERKEL, U. 1990. Extensible unification by metastructures. In Proceedings of the META'90 Workshop.
	100	PAI, D.K. 1991. Least constraint: A framework for the control of complex mechanical systems. In Proceedings of the American Control Conference (Boston, MA, June), 1615-1621.
	101	Jan Paredaens , Jan Van den Bussche , Dirk Van Gucht, Towards a theory of spatial database queries (extended abstract), Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.279-288, May 24-27, 1994, Minneapolis, Minnesota, United States [doi>10.1145/182591.182640]
	102	RAMAKRISHNAN, R. 1988. Magic templates: A spellbinding approach to logic programs. In Proceedings of the International Conference on Logic Programming.
	103	Peter Z. Revesz, A closed-form evaluation for Datalog queries with integer (gap)-order constraints, Theoretical Computer Science, v.116 n.1, p.117-149, Aug. 2, 1993
	104	Peter Z. Revesz, Datalog Queries of Set Constraint Databases, Proceedings of the 5th International Conference on Database Theory, p.425-438, January 11-13, 1995
	105	Ugo Montanari , Francesca Rossi, Concurrency and Concurrent Constraint Programming, Selected Papers from Constraint Programming: Basics and Trends, p.171-192, May 16-20, 1994
	106	SANNELLA, M. 1995. The SkyBlue constraint solver and its applications. In Principles and Practice of Constraint Programming: The Newport Papers, V. A. Saraswat and P. Van Hentenryck, Eds., MIT Press, Cambridge, MA, 385-406.
	107	Michael Sannella , John Maloney , Bjorn Freeman-Benson , Alan Borning, Multi-way versus one-way constraints in user interfaces: experience with the DeltaBlue algorithm, Software—Practice & Experience, v.23 n.5, p.529-566, May 1993 [doi>10.1002/spe.4380230507]
	108	Vijay A. Saraswat, Concurrent constraint programming, MIT Press, Cambridge, MA, 1993
	109	Vijay A. Saraswat , Radha Jagadeesan , Vineet Gupta, Default timed concurrent constraint programming, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.272-285, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199513]
	110	Vijay A. Saraswat , Martin Rinard , Prakash Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-352, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99627]
	111	Ehud Y. Shapiro, Algorithmic Program DeBugging, MIT Press, Cambridge, MA, 1983
	112	Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989 [doi>10.1145/72551.72555]
	113	SMOLKA, G. 1995. The Oz programming model. In Computer Science Today, Jan van Leeuwen, Ed., LNCS, No. 1000, Springer-Verlag, Berlin, 324-343.
	114	SRIVASTAVA, D. 1992. Subsumption and indexing in constraint query languages with linear arithmetic constraints. Ann. Math. Artif. Intell. (to appear).
	115	Divesh Srivastava , Raghu Ramakrishnan, Pushing constraint selections, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.301-315, June 02-05, 1992, San Diego, California, United States [doi>10.1145/137097.137897]
	116	Divesh Srivastava , Raghu Ramakrishnan , Peter Z. Revesz, Constraint Objects, Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming, p.218-228, May 02-04, 1994
	117	STALLMAN, R. M. AND SUSSMAN, G. J. 1977. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artif. Intell. 9, 135-196.
	118	STEELE, G. L. 1980. The definition and implementation of a computer programming language based on constraints. Ph.D. Thesis, MIT.
	119	SUTHERLAND, I. 1963. Sketchpad: A man-machine graphical communication system. In Proceedings of the IFIP Spring Joint Computer Conference.
	120	TARAU, P., DAVISON, A., DE BOSSCHERE, K., AND HERMENEGILDO, M., EDS. 1996. Proceedings of the First Workshop on Logic Programming Tools for INTERNET Applications, JICSLP '96 (Bonn).
	121	TSANG, E. 1993. Foundations of Constraint Satisfaction. Academic Press, London.
	122	Luc Vandeurzen , Marc Gyssens , Dirk Van Gucht, On the Desirability and Limitations of Linear Spatial Database Models, Proceedings of the 4th International Symposium on Advances in Spatial Databases, p.14-28, August 06-09, 1995
	123	Pascal Van Hentenryck, Constraint satisfaction in logic programming, MIT Press, Cambridge, MA, 1989
	124	VAN HENTENRYCK, P. 1989b. Parallel constraint satisfaction in logic programming. In International Conference on Logic Programming (Lisbon, Portugal, June), MIT Press, Cambridge, MA, 165-180.
	125	VAN HENTENRYCK, P. 1991. Constraint logic programming. Knowl. Eng. Rev. 6, 6, 151-194.
	126	VAN HENTENRYCK, P., SARASWAT, V. A., AND DEV- ILLE, Y. 1995. Constraint processing in cc(fd). In Constraint Programming: Basics and Trends, A. Podelski, Ed., LNCS 910, Springer Verlag.
	127	WALTZ, D. L. 1975. Understanding line drawings of scenes with shadows. In The Psychology of Computer Vision, P. Winston, Ed., McGraw-Hill.
	128	Enea Zaffanella, Domain Independent Ask Approximation in CCP, Proceedings of the First International Conference on Principles and Practice of Constraint Programming, p.362-379, September 19-22, 1995
	129	Brad Vander Zanden, An incremental algorithm for satisfying hierarchies of multiway dataflow constraints, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.1, p.30-72, Jan. 1996 [doi>10.1145/225540.225543]
	130	Ying Zhang , Alan K. Mackworth, Specification and Verification of Constraint-Based Dynamic Systems, Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming, p.229-242, May 02-04, 1994
	131	ZHANG, Y. AND MACKWORTH, A. K. 1995a. Constraint programming in constraint nets. In Principles and Practice of Constraint Programming: The Newport Papers, V. A. Saras- Tat and P. Van Hentenryck, Eds., MIT Press, Cambridge, MA, 49-68.
	132	Ying Zhang , Alan K. Mackworth, Synthesis of Hybrid Constraint-Based Controllers, Hybrid Systems II, p.552-567, January 1995

CITED BY 11

	Armando Solar-Lezama , Rodric Rabbah , Rastislav Bodík , Kemal Ebcioğlu, Programming by sketching for bit-streaming programs, ACM SIGPLAN Notices, v.40 n.6, June 2005
	Farhad Arbab , Eric Monfroy, Using coordination for cooperative constraint solving, Proceedings of the 1998 ACM symposium on Applied Computing, p.139-148, February 27-March 01, 1998, Atlanta, Georgia, United States
	Laurent Granvilliers , Eric Monfroy , Frédéric Benhamou, Symbolic-interval cooperation in constraint programming, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.150-166, July 2001, London, Ontario, Canada
	James Fogarty , Scott E. Hudson, GADGET: a toolkit for optimization-based approaches to interface and display generation, Proceedings of the 16th annual ACM symposium on User interface software and technology, p.125-134, November 02-05, 2003, Vancouver, Canada
	Antonio Ruiz , Rafael Corchuelo , Amador Durán, An automated approach to quality-aware web applications, Enterprise information systems IV, Kluwer Academic Publishers, Hingham, MA, 2003
	Farhad Arbab , Eric Monfroy, Coordination of heterogeneous distributed cooperative constraint solving, ACM SIGAPP Applied Computing Review, v.6 n.2, p.4-17, Sept. 1998
	Armando Solar-Lezama , Liviu Tancau , Rastislav Bodik , Sanjit Seshia , Vijay Saraswat, Combinatorial sketching for finite programs, ACM SIGOPS Operating Systems Review, v.40 n.5, December 2006
	R. González-del-Campo , F. Sáenz-Pérez, Programmed Search in a Timetabling Problem over Finite Domains, Electronic Notes in Theoretical Computer Science (ENTCS), 177, p.253-267, June, 2007
	Pascal Van Hentenryck, Constraint programming, ACM SIGSOFT Software Engineering Notes, v.25 n.1, p.89-90, Jan 2000
	Elisa Bertino , Ahmed K. Elmagarmid , Mohand-Saïd Hacid, A Logical Approach to Quality of Service Specification in Video Databases, Multimedia Tools and Applications, v.23 n.2, p.75-101, June 2004
	Pascal Van Hentenryck, Numerica: a modeling language for global optimization, Proceedings of the Fifteenth international joint conference on Artifical intelligence, p.1642-1647, August 23-29, 1997, Nagoya, Japan