Search Result Save to File Save as CSV
Your search for 38426 returns 2665 document(s)
A Semantic Web Approach For Automated Test Generation (235-241)
Author: Bogdan Dragulescu Marian Bucos Radiu Vasiu; | Call Number: SEM-329 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Search and inference in AI planning, (LNCS-Lecture Notes in Computer Science 3709) Hal 1-4
Author: Hector Geffner; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The G12 project: mapping solver independent models to efficient solutions, (LNCS-Lecture Notes in Computer Science 3709) Hal 13-16
Author: Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Symmetry definitions for constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 17-31
Author: David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Dynamic ordering for asynchronous backtracking on discsps, (LNCS-Lecture Notes in Computer Science 3709) Hal 32-46
Author: Roie Zivan; Amnon Meisels; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61
Author: Magnus Agren; Pierre Flener; Justin Pearson; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Mind the gaps: a new splitting strategy for consis1tency techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 77-91
Author: Heikel Batnini; Claude Michel; Michel Rueher; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Graph invariants as necessary conditions for global constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 92-106
Author: Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon; Charlotte Truchet; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A linear-logic semantics for constraint handling rules, (LNCS-Lecture Notes in Computer Science 3709) Hal 137-151
Author: Hariolf Betz; Thom Fruhwirth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Distributed stable matching problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 152-166
Author: Ismel Brito; Pedro Meseguer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next