| Your search for 38448 returns 2506 document(s) |
| Local consistency in weighted CSPs and inference in max-sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 849 |
|
Author: Federico Heras; Javier Larrosa; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiting unit propagation to compute lower bounds in branch and bound max-sat solvers, (LNCS-Lecture Notes in Computer Science 3709) Hal 403-414 |
|
Author: Chu Min Li; Felip Manya; Jordi Planes; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Extremal CSPs, (LNCS-Lecture Notes in Computer Science 3709) Hal 807-811 |
|
Author: Nicolas Prcovic; | 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
|
| Probabilistic arc consistency, (LNCS-Lecture Notes in Computer Science 3709) Hal 862 |
|
Author: Deepak Mehta; M.R.C. van Dongen; | 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
|
| Constraint-based inference: a bridge between constraint processing and probability inference, (LNCS-Lecture Notes in Computer Science 3709) Hal 844 |
|
Author: Le Chang; Alan K. Mackworth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| AC : a configurable, generic and adaptive arc consistency algorithm, (LNCS-Lecture Notes in Computer Science 3709) Hal 505-519 |
|
Author: Jean-Charles Regin; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Consistency for quantified constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 792-796 |
|
Author: Peter Nightingale; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Approximated consistency for the automatic recording problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 822-826 |
|
Author: Meinolf Sellmann; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result