Your search for 38365 returns 2530 document(s) |
Alternate modeling in sport scheduling, (LNCS-Lecture Notes in Computer Science 3709) Hal 797-801 |
Author: Laurent Perron; | 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
|
Approximated consistency for the automatic recording problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 822-826 |
Author: Meinolf Sellmann; | 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
|
Approximate constrained subgraph matching, (LNCS-Lecture Notes in Computer Science 3709) Hal 832-836 |
Author: Stephane Zampelli; Yves Deville; Pierre Dupont; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving the car-sequencing problem as a non-binary CSP, (LNCS-Lecture Notes in Computer Science 3709) Hal 840 |
Author: Mihaela Butaru; Zineb Habbas; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Metdods to learn abstract scheduling models, (LNCS-Lecture Notes in Computer Science 3709) Hal 842 |
Author: Tom Carcharae; J. Christopher Beck; Eugene C. Freuder; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automated search for heuristic functions, ((LNCS-Lecture Notes in Computer Science 3709) Hal 843 |
Author: Pavel Cejnar; Roman Bartak; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Improved algorithm for finding (a,b)-super solutions, (LNCS-Lecture Notes in Computer Science 3709) Hal 848 |
Author: Emmanuel Hebrard; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Local consistency in weighted CSPs and inference in max-sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 849 |
Author: Federico Heras; Javier Larrosa; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|