| Your search for 38374 returns 2840 document(s) |
| On solving soft temporal constraints using sat techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 607-621 |
|
Author: Hossein M. Sheini; Bart Peintner; Karem A. Sakallah; Martha E. Pollack; | 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
|
| Repair-based methods for quantified CSPs, (LNCS-Lecture Notes in Computer Science 3709) Hal 652-666 |
|
Author: Kostas Stergiou; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handling implication and universal quantification constraints in flux, (LNCS-Lecture Notes in Computer Science 3709) Hal 667-681 |
|
Author: Michael Thielscher; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Factor analytic studies of csp heuristics, (LNCS-Lecture Notes in Computer Science 3709) Hal 712-726 |
|
Author: Richard J. Wallace; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lookahead saturation with restriction for sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 727-731 |
|
Author: Anbulagan; John Slaney; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Evolving variable-ordering heuristics for constrained optimisation, (LNCS-Lecture Notes in Computer Science 3709) Hal 732-736 |
|
Author: Stuart Bain; John Thornton; Abdul Sattar; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-point constructive search, (LNCS-Lecture Notes in Computer Science 3709) Hal 737-741 |
|
Author: J. Christopher Beck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Acquiring parameters of implied global constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 747-751 |
|
Author: Christian Bessiere; Remi Coletta; Thierry Petit; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrating benders decomposition within constraint programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 752-756 |
|
Author: Hadrien Cambazard; Narendra Jussien; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result