General Papers
| Preface | |
| Michael Genesereth, Peter Revesz |
| Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem | |
| Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret |
| Automatic Synthesis of Temporal Invariants | |
| Sara Bernardini, David E. Smith |
| Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria | |
| Swetha Billa, Mark Griep, Peter Revesz |
| Classifying Scientific Publications Using Abstract Features | |
| Cornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra |
| Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions | |
| Laura Climent, Miguel Ángel Salido, Federico Barber |
| Reformulation for the Diagnosis of Discrete-Event Systems | |
| Alban Grastien, Gianluca Torta |
| A Theory of Abstraction for Diagnosis of Discrete-Event Systems | |
| Alban Grastien, Gianluca Torta |
| Path Symmetries in Undirected Uniform-Cost Grids | |
| Daniel Damir Harabor, Adi Botea, Philip Kilby |
| Reformulating R(*, m)C with Tree Decomposition | |
| Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry |
| The Markov Reformulation Theorem | |
| Michael Kassoff, Michael R. Genesereth |
| Spatiotemporal Interpolation Methods for Air Pollution Exposure | |
| Lixin Li, Xingyou Zhang, James B. Holt, Jie Tian, Reinhard Piltner |
| Simultaneous Abstract and Concrete Reinforcement Learning | |
| Tiago Matos, Yannick P. Bergamo, Valdinei Freire da Silva, Fabio G. Cozman, Anna Helena Reali Costa |
| Does Representation Matter in the Planning Competition? | |
| Patricia J. Riddle, Robert C. Holte, Michael W. Barley |
| A Modal View on Abstract Learning and Reasoning | |
| Henry Soldano |
| A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game | |
| Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder |
| Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks | |
| Miroslav N. Velev, Ping Gao |
| Planning with State Uncertainty via Contingency Planning and Execution Monitoring | |
| Minlue Wang, Richard Dearden |
| Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency | |
| Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
| Extracting Topological Information from Spatial Constraint Databases | |
| Shasha Wu, Peter Revesz |