Abstract is missing.
- Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse ConsistencyRobert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere. [doi]
- Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in BacteriaSwetha Billa, Mark A. Griep, Peter Z. Revesz. [doi]
- The Markov Reformulation TheoremMichael Kassoff, Michael R. Genesereth. [doi]
- Spatiotemporal Interpolation Methods for Air Pollution ExposureLixin Li, Xingyou Zhang, James B. Holt, Jie Tian, Reinhard Piltner. [doi]
- Classifying Scientific Publications Using Abstract FeaturesCornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra. [doi]
- A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET GameAmanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder. [doi]
- Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling ProblemCarlos Ansótegui, Miquel Bofill, Miquel PalahÃ, Josep Suy, Mateu Villaret. [doi]
- Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined MicroprocessorsMiroslav N. Velev, Ping Gao 0002. [doi]
- Planning with State Uncertainty via Contingency Planning and Execution MonitoringMinlue Wang, Richard Dearden. [doi]
- Automatic Synthesis of Temporal InvariantsSara Bernardini, David E. Smith. [doi]
- Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust SolutionsLaura Climent, Miguel A. Salido, Federico Barber. [doi]
- A Theory of Abstraction for Diagnosis of Discrete-Event SystemsAlban Grastien, Gianluca Torta. [doi]
- Extracting Topological Information from Spatial Constraint DatabasesShasha Wu, Peter Z. Revesz. [doi]
- Simultaneous Abstract and Concrete Reinforcement LearningTiago Matos, Yannick Plaino Bergamo, Valdinei Freire da Silva, Fabio Gagliardi Cozman, Anna Helena Reali Costa. [doi]
- Preface [doi]
- A Modal View on Abstract Learning and ReasoningHenry Soldano. [doi]
- Does Representation Matter in the Planning Competition?Patricia J. Riddle, Robert C. Holte, Michael W. Barley. [doi]
- Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical NetworksMiroslav N. Velev, Ping Gao 0002. [doi]
- Path Symmetries in Undirected Uniform-Cost GridsDaniel Damir Harabor, Adi Botea, Philip Kilby. [doi]
- Reformulation for the Diagnosis of Discrete-Event SystemsAlban Grastien, Gianluca Torta. [doi]
- Reformulating R(*, m)C with Tree DecompositionShant Karakashian, Robert J. Woodward, Berthe Y. Choueiry. [doi]