Presentations and Authors

Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All

General Papers

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