Recent Advances in Constraints
Subtitle: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, ... Papers (Lecture Notes in Computer Science)
Contributors: Krzysztof R. Apt (Editor); Francois Fages (Editor); Francesca Rossi (Editor); Peter Szeredi (Editor); Josef Váncza (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 25, 2004
Language: eng
Format: Paperback
Number of pages: 8
ISBN-13: 9783540218340
Subjects: Artificial intelligence; Computer Programming; Information technology industries; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Computer Science; Programming - General; Computers / Artificial Intelligence; abstract verification; arithmetic constraints; constraint logic programming; constraint processing; constraint programming; constraint satisfaction problems; General; Congresses; Constraint programming (Computer science); Logic programming
First sentence: The subject of arithmetic constraints on reals has attracted a great deal of attention in the literature.