Your search for 38365 returns 2530 document(s) |
Mind the gaps: a new splitting strategy for consis1tency techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 77-91 |
Author: Heikel Batnini; Claude Michel; Michel Rueher; | 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
|
Allocation and scheduling for MPSoCs via decomposition and no-good generation, (LNCS-Lecture Notes in Computer Science 3709) Hal 107-121 |
Author: Luca Benini; Davide Bertozzi; Alessio Guerri; Michela Milano; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Beyond hypertree width: decomposition methods without decompositions, (LNCS-Lecture Notes in Computer Science 3709) Hal 167-181 |
Author: Hubie Chen; Victor Dalmau; | 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
|
Tractable clones of polynomials over semigroups, (LNCS-Lecture Notes in Computer Science 3709) Hal 196-210 |
Author: Victor Dalmau; Ricard Gavalda; Pascal Tesson; Denis Therien; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Assumption-based pruning in conditional CSP, (LNCS-Lecture Notes in Computer Science 3709) Hal 241-255 |
Author: Felix Geller; Michael Veksler; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Advances in polytime isomorph elimination for configuration, (LNCS-Lecture Notes in Computer Science 3709) Hal 301-313 |
Author: Laurent Henocque; Mathias Kleiner; Nicolas Prcovic; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Planning and scheduling to minimize tardiness, (LNCS-Lecture Notes in Computer Science 3709) Hal 314-327 |
Author: J.N. Hooker; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Seacrh heuristics and heavy-tailed behaviour, (LNCS-Lecture Notes in Computer Science 3709) Hal 328-342 |
Author: Tudor Hulubei; Barry O'Sullivan; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|