Principles and Practice of Constraint Programming - CP 2003
Subtitle: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: November 13, 2003
Language: eng
Format: Paperback
Number of pages: 1005
ISBN-13: 9783540202028
Subjects: Computer Programming; Logic Design; Congresses; Computers; Computers - Languages / Programming; Computer Books: General; Programming Languages - General; Programming - General; Programming - Object Oriented Programming; Computers / Programming / General; Constraint programming (Comput; Constraint programming (Computer science)
First sentence: The past few years have seen enormous progress in the performance of Boolean satisfiability (SAT) solvers.