Analysis and Visualization Tools for Constraint Programming Constraint Debugging

Analysis and Visualization Tools for Constraint Programming Constraint Debugging / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski.

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraint...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Deransart, Pierre (Editor), Hermenegildo, M.V (Editor), Maluszynski, J. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Edition:	1st ed. 2000.
Series:	Lecture Notes in Computer Science, 1870 Springer eBook Collection.
Subjects:	Programming languages (Electronic computers). Computer programming. Software engineering. Artificial intelligence. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Essentials of Constraint Programming
by: Frühwirth, Thom, et al.
Published: (2003)

Constraint Processing Selected Papers
Published: (1995)

Semirings for Soft Constraint Solving and Programming
by: Bistarelli, Stefano
Published: (2004)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997
Published: (1997)

Principles and Practice of Constraint Programming - CP '95 First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings
Published: (1995)

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
Published: (2005)

Principles and Practice of Constraint Programming - CP'96 Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings
Published: (1996)

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings
Published: (2006)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings
Published: (1998)

Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings
Published: (2004)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Published: (2001)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Published: (2002)

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings
Published: (2007)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
Published: (2010)

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings
Published: (2008)

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
Published: (2004)

Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings
Published: (1999)

Programming Constraint Services High-Level Programming of Standard and New Constraint Services
by: Schulte, Christian
Published: (2002)

Constraint Programming
Published: (1994)

Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
Published: (2000)

Objects for Concurrent Constraint Programming
by: Henz, Martin
Published: (1998)

Programming Language Implementation and Logic Programming 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings
Published: (1993)

Parallel and Constraint Logic Programming An Introduction to Logic, Parallelism and Constraints
by: Vlahavas, Ioannis, et al.
Published: (1998)

Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development
Published: (2004)

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Published: (2006)

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Published: (2012)

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Published: (2005)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Published: (2007)

Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Published: (2003)

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Published: (2014)

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Published: (2016)

Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Published: (2004)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Published: (2006)

New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
Published: (2000)

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Published: (2014)

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Published: (2016)

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Published: (2009)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Published: (2010)

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Published: (2012)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Published: (2010)