‣Josep Argelich, Ines Lynce. CNF instances from the software package installation problem. PDF

‣Ruggero Bellio, Luca Di Gaspero, Andrea Schaerf. A Statistical Analysis of the Features of a Dynamic Tabu Search Algorithm For Course Timetabling Problems. PDF

‣Luca Di Gaspero, Andrea Roli, Andrea Schaerf. EasyAnalyzer: an object-oriented framework for the experimental analysis of stochastic local search algorithms. PDF

‣Ismel Brito and Pedro Meseguer. Distributed Cluster Tree Elimination. PDF

‣Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca. Look-back Techniques for ASP Programs with Aggregates. PDF

‣Enrico Giunchiglia, Paolo Marin, Massimo Narizzano. Preprocessing Techniques for QBFs. PDF

‣Antonio Morgado, Joao Marques Silva. Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. PDF

‣Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea. Solving Satisfiability Problems with Qualitative Preferences: A new Approach. PDF

‣Maria del Pilar Pozos Parra, Veronica Borja Macias. Belief Merging without Distance Measures. PDF

‣Luca Pulina, Armando Tacchella. An empirical study of QBF encodings: from treewidth to useful preprocessing. PDF

‣Thanasis Balafoutis, Kostas Stergiou. Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems. PDF

‣Fabrizio Riguzzi. The SLGAD Procedure for Inference on Logic Programs with Annotated Disjunctions. PDF

‣G. Terracina, E. De Francesco, C. Panetta, N. Leone. Experiencing ASP with real world applications. PDF

‣Richard Wallace, Diarmuid Grimes, Eugene Freuder. Solving Dynamic Constraint Satisfaction Problems by Identifying Stable Features. PDF

‣C. Guillen, A. Lopez Lopez, G. De Ita. Computing #2-SAT of Grids, Grid-Cylinders and Grid-Tori Boolean Formulas. PDF

‣Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. PDF

‣Alfonso Gerevini, Ivan Serina. Efficient Plan Adaptation through Replanning Windows and Heuristic Goals. PDF

‣Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Verification from Declarative Specifications Using Logic Programming. PDF