Your search for 38446 returns 4594 document(s) |
GP(Graph): introducing a graph computation domain in constraint programming, (LNCS-Lecture Notes in Computer Science 3709) Hal 211-225 |
Author: Gregoire Dooms; Yves Deville; Pierre Dupont; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applying constraint programming to rigid body protein docking, (LNCS-Lecture Notes in Computer Science 3709) Hal 373-387 |
Author: Ludwig Krippahl; Pedro Barahona; | 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
|
Using boolean constraint propagation for sub-clauses deduction, (LNCS-Lecture Notes in Computer Science 3709) Hal 757-761 |
Author: S. Darras; G. Dequen; L. Devendeville; B. Mazure; R. Ostrowski; L. Sais; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
And/or branch-and-bound for solving mixed integer linear programming problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 857 |
Author: Radu Marinescu; Rina Dechter; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 448-449 |
Author: Remy Haemmerle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Gentra4cp: a generic trace format for constraint programming, ((LNCS-Lecture Notes in Computer Science 3668) Hal 433-434 |
Author: Ludovic Langevine; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A distributed and probabilistic concurrent constraint programming language, (LNCS-Lecture Notes in Computer Science 3668) Hal 143-158 |
Author: Luca Bortolussi; Herbert Wiklicky; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|