| Your search for 38391 returns 2418 document(s) |
| Encoding HTN planning as a dynamic CSP, (LNCS-Lecture Notes in Computer Science 3709) Hal 868 |
|
Author: Pavel Surynek; Roman Bartak; | 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
|
| Bounds-consistent local search, (LNCS-Lecture Notes in Computer Science 3709) Hal 870 |
|
Author: Stefania Verachi; Steven Prestwich; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Scheduling with uncertain start dates, (LNCS-Lecture Notes in Computer Science 3709) Hal 872 |
|
Author: Christine Wei Wu; Kenneth N. Brown; J. Christopher Beck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The role of redundant clauses in solving satisfiability problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 873 |
|
Author: Honglei Zeng; Sheila McIlraith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applying decomposition methods to crossword puzzle problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 874 |
|
Author: Yaling Zheng; Berthe Y. Choueiry; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CoJava: A unified language for simulation and optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 877 |
|
Author: Alexander Brodsky; Hadon Nash; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proterv-II: an integrated production planning and scheduling system, (LNCS-Lecture Notes in Computer Science 3709) Hal 880 |
|
Author: Andras Kovacs; Peter Egri; Tamas Kis; Jozsef Vancza; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The comet programming language and system, (LNCS-Lecture Notes in Computer Science 3709) Hal 881 |
|
Author: Laurent Michel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Random stimuli generation for functional hardware verification as a CP application, (LNCS-Lecture Notes in Computer Science 3709) Hal 882 |
|
Author: Yehuda Naveh, Roy Emek; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result