| Your search for 38268 returns 2967 document(s) |
| On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51 |
|
Author: Enrico Giunchiglia; Marco Maratea; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Approximations in distributed optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 802-806 |
|
Author: Adrian Petcu; Boi Faltings; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Eplex: Harnessing mathematical programming solvers for constraint logic programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 622-636 |
|
Author: Kish Shen; Joachim Schimpf; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Optimal tridiagonal solvers on mesh interconnection networks, (LNCS-Lecture Notes in Computer Science 1557) Hal 28-37 |
|
Author: Eunice E. Santos; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Run-Time Adaptation in River |
|
Author: R. H. Arpaci-Dusseau | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent methodologies for global optimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 441-443 |
|
Author: Luca Bortolussi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and optimization of CHR programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 450-451 |
|
Author: Jon Sneyers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Generalized conflict learning for hybrid discrete/linear optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 415-429 |
|
Author: Hui Li; Brian Williams; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Randomization for multi-agent constraint optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 864 |
|
Author: Quang Huy Nguyen; Boi V. Faltings; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result