| Your search for 38427 returns 2539 document(s) |
| Logic-based methods for optimization: combining optimization and constraint satisfaction/ John Hooker |
|
Author: Hooker, John; | Call Number: 519.72 Hoo l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penyelesaian penjadwalan kuliah sebagai constraint satisfaction problem dengan genetic algorithm/ Teddy |
|
Author: Teddy; | Call Number: SK-0766 (Softcopy SK-248) Source code SK-225 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Poetry Generation for Bahasa Indonesia using a Constraint Satisfaction Approach (219-224) |
|
Author: Fam Rashel
Ruli Manurung; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
|
Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | 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
|
| 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