| Your search for 38403 returns 2316 document(s) |
| Depth-first mini-bucket elimination, (LNCS-Lecture Notes in Computer Science 3709) Hal 563-577 |
|
Author: Emma Rollon; Javier Larrosa; | 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
|
| Block and partitioned neville elimination, (LNCS-Lecture Notes in Computer Science 1557) Hal 575-576 |
|
Author: Pedro Alonso; Juan M. Pena; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Preference reasoning, (LNCS-Lecture Notes in Computer Science 3709) Hal 9-12 |
|
Author: Francesca Rossi; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Sub-optimality approximations, (LNCS-Lecture Notes in Computer Science 3709) Hal 122-136 |
|
Author: Russell Bent; Irit Katriel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Interval analysis in scheduling, (LNCS-Lecture Notes in Computer Science 3709) Hal 226-240 |
|
Author: Jerome Fortin; Pawel Zielinski; Didier Dubois; Helene Fargier; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Conditional symmetry breaking, (LNCS-Lecture Notes in Computer Science 3709) Hal 256-270 |
|
Author: Ian P. Gent; Tom Kelsey; Steve A. Linton; Iain McDonald; Ian Miguel; Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symmetry and Consistency, (LNCS-Lecture Notes in Computer Science 3709) Hal 271-285 |
|
Author: Ian P. Gent; Tom Kelsey; Steve Linton; Colva Roney-Dougal; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using sat in qbf, (LNCS-Lecture Notes in Computer Science 3709) Hal 578-592 |
|
Author: Horst Samulowitz; Fahiem Bacchus; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bounds of graph characteristics, (LNCS-Lecture Notes in Computer Science 3709) Hal 742-746 |
|
Author: Nicolas Beldiceanu; Thierry Petit; Guillaume Rochart; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result