Fundamenta Informaticae - Tom Vol. 107, nr 2/3 (2011) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 107, nr 2/3

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2011

Identyfikatory

Zawartość wolumenu

Vol. 107, nr 2/3
- artykuł: Flexible Plan Verification: Feasibility Results (Cesta A., Fratini S., Orlandini A., Finzi A., Tronci E.), s. 111-137
- artykuł: Parallel QBF Solving with Advanced Knowledge Sharing (Lewis M., Schubert T., Becker B., Marin P., Narizzano M., Giunchiglia E.), s. 139-166
- artykuł: An Empirical Analysis of Some Heuristic Features for Planning through Local Search and Action Graphs (Gerevini A., Saetti A., Serina I.), s. 167-197
- artykuł: Efficient Graph Kernels for Textual Entailment Recognition (Zanzotto F. M., Dell'Arciprete L., Moschitti A.), s. 199-222
- artykuł: An automaton Constraint for Local Search (He J., Flener P., Pearson J.), s. 223-248
- artykuł: Restoring CSP Satisfiability with MaxSAT (Lynce I., Marques-Silva J.), s. 249-266
- artykuł: Deriving Information from Sampling and Diving (Lombardi M., Milano M., Roli A., Zanarini A.), s. 267-287
- artykuł: Partitioning Search Spaces of a Randomized Search (Hyvärinen A. E. J., Junttila T., Niemelä I.), s. 289-311

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.