| 2008 | Learning Techniques for Pseudo-Boolean Solving. | Jos Faustino Fragoso Femenin dos Santos, Vasco Manquinho |
| 2008 | Variable Dependencies of Quantified CSPs. | Marko Samer |
| 2008 | A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic. | Philipp Rmmer |
| 2008 | An Exchange Format for Modular Knowledge. | Florian Rabe, Michael Kohlhase |
| 2008 | Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings. | Luca Pulina, Armando Tacchella |
| 2008 | Connecting Grbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics. | Loic Pottier |
| 2008 | Towards Practical Feasibility of Core Computation in Data Exchange. | Reinhard Pichler, Vadim Savenkov |
| 2008 | Complete Pruning Methods and a Practical Search Strategy for SOL. | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
| 2008 | Program Complexity in Hierarchical Module Checking. | Aniello Murano, Margherita Napoli, Mimmo Parente |
| 2008 | Proofs and Refutations, and Z3. | Leonardo Mendona de Moura, Nikolaj S. Bjrner |
| 2008 | A Quantifier Elimination Algorithm for Linear Real Arithmetic. | David Monniaux |
| 2008 | Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic. | Sean McLaughlin, Frank Pfenning |
| 2008 | Symmetry Breaking for Maximum Satisfiability. | Joo Marques-Silva, Ins Lynce, Vasco Manquinho |
| 2008 | On Computing Constraint Abduction Answers. | Michael J. Maher, Ge Huang |
| 2008 | Reasoning about XML with Temporal Logics and Automata. | Leonid Libkin, Cristina Sirangelo |
| 2008 | Default Logics with Preference Order: Principles and Characterisations. | Tore Langholm |
| 2008 | A Higher-Order Iterative Path Ordering. | Cynthia Kop, Femke van Raamsdonk |
| 2008 | On the Computational Complexity of Spatial Logics with Connectedness Constraints. | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev |
| 2008 | Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. | Tommi A. Junttila, Jori Dubrovin |
| 2008 | Justification-Based Local Search with Adaptive Noise Strategies. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2008 | Fast Counting with Bounded Treewidth. | Michael Jakl, Reinhard Pichler, Stefan Rmmele, Stefan Woltran |
| 2008 | A Conditional Logical Framework. | Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto |
| 2008 | Uncurrying for Termination. | Nao Hirokawa, Aart Middeldorp, Harald Zankl |
| 2008 | Complexity, Graphs, and the Dependency Pair Method. | Nao Hirokawa, Georg Moser |
| 2008 | Transforming and Analyzing Proofs in the CERES-System. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |