Fundamenta Informaticae - Tom Vol. 102, nr 3/4 (2010) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 102, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2010

Identyfikatory

Zawartość wolumenu

Vol. 102, nr 3/4
- artykuł: Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs (Balafoutis T., Stergiou K.), s. 229-261
- artykuł: Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees (Brito I., Meseguer P.), s. 263-286
- artykuł: Efficient Plan Adaptation through Replanning Windows and Heuristic Goals (Gerevini A. E., Serina I.), s. 287-323
- artykuł: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes (Montali M., Torroni P., Chesani F., Mello P., Alberti M., Lamma E.), s. 325-361
- artykuł: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem (Morgado A., Marques-Silva J.), s. 363-389
- artykuł: An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing (Pulina L., Tacchella A.), s. 391-427
- artykuł: SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions (Riguzzi F.), s. 429-466
- artykuł: A SAT-based Method for Solving the Two-dimensional Strip Packing Problem (Soh T., Tamura N., Banbara M., Inouey K., Nabeshima H.), s. 467-487

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ć.