1 Table of Contents: “... the Hilbert Basis of a Linear Diophantine System -- Solving Combinatorial Problems with Regular Local Search...”

2 Table of Contents: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”

3 Table of Contents: “... -- Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems...”

4 Table of Contents: “... Propositions -- Model Generation -- Deductive Search for Errors in Free Data Type Specifications Using Model...”

5 Table of Contents: “... and extended clauses -- Search space pruning by checking dynamic term growth -- A proof search system for a...”

6 Table of Contents: “...Labelled Unit Superposition Calculi for Instantiation-Based Reasoning -- Boosting Local Search...”

7 Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”

8 Table of Contents: “... redundancy in large search spaces: Argonne-style theorem proving through the years -- Resolution for many...”

9 Table of Contents: “... for Weak Implicit Computational Complexity -- Extending Compositional Message Sequence Graphs -- Searching...”

10 Table of Contents: “...-Search in Implicative Linear Logic as a Matching Problem -- A New Model Construction for the Polymorphic...”

11 Table of Contents: “... -- Deduction search with generalized terms -- A simple transformation from Prolog-written metalevel...”

12 Table of Contents: “... Similarity Search -- On the Containment Problem for Queries in Conjunctive Form with Negation -- Towards a...”

13 Table of Contents: “... and Strategy Extraction in Search-Based QBF Solving -- Verifying Temporal Properties in Real Models -- A...”

14 Table of Contents: “...Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search -- Databases...”

15 Table of Contents: “... Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive...”