Analysis and Visualization Tools for Constraint Programming Constraint Debugging /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Deransart, Pierre (Editor, http://id.loc.gov/vocabulary/relators/edt), Hermenegildo, M.V (Editor, http://id.loc.gov/vocabulary/relators/edt), Maluszynski, J. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Edition: 1st ed. 2000.
• Series: Lecture Notes in Computer Science, 1870
• Subjects: Programming languages (Electronic computers).; Computer programming.; Software engineering.; Artificial intelligence.; Mathematical logic.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Artificial Intelligence.; Mathematical Logic and Formal Languages.

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...