| Your search for 38373 returns 2475 document(s) |
| 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
|
| 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
|
| 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
|
| Approximate constrained subgraph matching, (LNCS-Lecture Notes in Computer Science 3709) Hal 832-836 |
|
Author: Stephane Zampelli; Yves Deville; Pierre Dupont; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Distributed constraints for large-scale scheduling problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 837 |
|
Author: Montserrat Abril; Miguel A. Salido; Federico Barber; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Solving over-constrained problems with sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 838 |
|
Author: Josep Argelich; Felip Manya; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Solving the car-sequencing problem as a non-binary CSP, (LNCS-Lecture Notes in Computer Science 3709) Hal 840 |
|
Author: Mihaela Butaru; Zineb Habbas; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Metdods to learn abstract scheduling models, (LNCS-Lecture Notes in Computer Science 3709) Hal 842 |
|
Author: Tom Carcharae; J. Christopher Beck; Eugene C. Freuder; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result