Your search for 38451 returns 3541 document(s) |
Speeding up constrained path solvers with a reachability propagator, (LNCS-Lecture Notes in Computer Science 3709) Hal 866 |
Author: Luis Quesada; Peter Van Roy; Yves Deville; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
From linear relaxations to global constraint propagation, (LNCS-Lecture Notes in Computer Science 3709) Hal 867 |
Author: Claude-Guy Quimper; Alejandro Lopez-Ortiz; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Robust constraint solving using multiple heuristics, (LNCS-Lecture Notes in Computer Science 3709) Hal 871 |
Author: Alfio Vidotto; 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
|
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
|
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
|