Principles and Practice of Constraint Programming — CP '95 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540602996, 9783540447887
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A constraint-based approach to diagnosing software problems in computer networks

1995 ◽  
pp. 463-480 ◽  
Author(s):  
Daniel Sabin ◽  
Mihaela Sabin ◽  
Robert D. Russell ◽  
Eugene C. Freuder
Keyword(s):  
Computer Networks

Automatic generation of invariants and intermediate assertions

1995 ◽  
pp. 589-623 ◽  
Author(s):  
Nikolaj Bjørner ◽  
Anca Browne ◽  
Zohar Manna
Keyword(s):  
Automatic Generation

Local and global relational consistency

1995 ◽  
pp. 240-257 ◽  
Author(s):  
Rina Dechter ◽  
Peter Beek
Load More ...
Sign in / Sign up

Export Citation Format

Share Document