Search Result Save to File Save as CSV
Your search for 38453 returns 2362 document(s)
Handling implication and universal quantification constraints in flux, (LNCS-Lecture Notes in Computer Science 3709) Hal 667-681
Author: Michael Thielscher; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Acquiring parameters of implied global constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 747-751
Author: Christian Bessiere; Remi Coletta; Thierry Petit; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Enconding requests to web service compositions as constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 782-786
Author: Alexander Lazovik; Marco Aiello; Rosella Gennari; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Beyond finite domains: the all different and global cardinality constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 812-816
Author: Claude-Guy Quimper; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Towards an optimal CNF Encoding of boolean cardinality constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 827-831
Author: Carsten Sinz; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Distributed constraints for large-scale scheduling problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 837
Author: Montserrat Abril; Miguel A. Salido; Federico Barber; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Towards the systematic generation of channelling constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 859
Author: B. Martinez-Hernandez; A. M. Frisch; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Specialised constraints for stable matching problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 869
Author: Chris Unsworth; Patrick Prosser; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Asymmetric distributed constraints satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 875
Author: Roie Zivan; Amnon Meisels; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Maintaining arc consistency algorithms during the search without additional space cost, (LNCS-Lecture Notes in Computer Science 3709) Hal 520-533
Author: Jean-Charles Regin; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next