Preface

Evaluating and Improving Modern Variable and Revision Ordering Strategies in CSPs

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Efficient Plan Adaptation through Replanning Windows and Heuristic Goals

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion