Your search for 38418 returns 2565 document(s) |
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
|
Graph invariants as necessary conditions for global constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 92-106 |
Author: Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon; Charlotte Truchet; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Ad-hoc global constraints for life, (LNCS-Lecture Notes in Computer Science 3709) Hal 182-195 |
Author: Kenil C.K. Cheng; Roland H.C. Yap; | 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
|
On solving soft temporal constraints using sat techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 607-621 |
Author: Hossein M. Sheini; Bart Peintner; Karem A. Sakallah; Martha E. Pollack; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
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
|
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
|
Consistency for Partially defined constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 854 |
Author: Andrei Legtchenko; Arnaud Lallouet; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|