| Your search for 38392 returns 2486 document(s) |
| Interactive reconfiguration in power supply restoration, (LNCS-Lecture Notes in Computer Science 3709) Hal 767-771 |
|
Author: Tarik Hadzic; Henrik Reif Andersen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Neighbourhood clause weight redistribution in local search for sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 772-776 |
|
Author: Abdelraouf Ishtaiwi; John Thornton; Abdul Sattar; Duc Nghia Pham; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Enconding requests to web service compositions as constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 782-786 |
|
Author: Alexander Lazovik; Marco Aiello; Rosella Gennari; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Test instance generation for max 2sat (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 787-791 |
|
Author: Mistuo Motoki; | 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
|
| Alternate modeling in sport scheduling, (LNCS-Lecture Notes in Computer Science 3709) Hal 797-801 |
|
Author: Laurent Perron; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Beyond finite domains: the all different and global cardinality constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 812-816 |
|
Author: Claude-Guy Quimper; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Views and iterators for generic constraint implementations, (LNCS-Lecture Notes in Computer Science 3709) Hal 817-821 |
|
Author: Christian Schulte; Guido Tack; | 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
|
| Towards an optimal CNF Encoding of boolean cardinality constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 827-831 |
|
Author: Carsten Sinz; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result