| Scheduled Conference | Title | |
| Eighth Symposium on Abstraction, Reformulation, and Approximation | 2-C3: From Arc-Consistency to 2-Consistency | Abstract |
| Marlene Arangú, Miguel A. Salido, Federico Barber | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis | Abstract |
| Rui Abreu, Arjan J. C. van Gemund | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | A Modal View on Abstract Learning and Reasoning | Abstract |
| Henry Soldano | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances | Abstract |
| Philippe Jégou, Lionel Paris | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | A Practical Use of Imperfect Recall | Abstract |
| Kevin Waugh, Martin Zinkevich, Michael Johanson, Morgan Kan, David Schnizlein, Michael Bowling | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game | Abstract |
| Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | A Theory of Abstraction for Diagnosis of Discrete-Event Systems | Abstract |
| Alban Grastien, Gianluca Torta | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Abductive Problem Solving with Abstractions | Abstract |
| Gianluca Torta, Daniele Theseider Dupré | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Abstract Planning with Unknown Object Quantities and Properties | Abstract |
| Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Abstracting Complex Interaction Networks | Abstract |
| Lorenza Saitta, Corneliu Henegar, Jean-Daniel Zucker | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Abstraction-Based Heuristics with True Distance Computations | Abstract |
| Ariel Felner, Nathan R. Sturtevant | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria | Abstract |
| Swetha Billa, Mark Griep, Peter Revesz | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Automated Redesign with the General Redesign Engine | Abstract |
| Alexander Feldman, Gregory Provan, Johan de Kleer, Lukas Kuhn, Arjan van Gemund | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | Automatic Synthesis of Temporal Invariants | Abstract |
| Sara Bernardini, David E. Smith | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Automatically Enhancing Constraint Model Instances during Tailoring | Abstract |
| Andrea Rendl, Ian Miguel, Ian P. Gent, Chris Jefferson | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | Classifying Scientific Publications Using Abstract Features | Abstract |
| Cornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Cluster Graphs as Abstractions for Constraint Satisfaction Problems | Abstract |
| Susan L. Epstein, Xingjian Li | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Common Subexpressions in Constraint Models of Planning Problems | Abstract |
| Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Confluence of Reduction Rules for Lexicographic Ordering Constraints | Abstract |
| Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | Does Representation Matter in the Planning Competition? | Abstract |
| Patricia J. Riddle, Robert C. Holte, Michael W. Barley | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Downward Path Preserving State Space Abstractions (Extended Abstract) | Abstract |
| Sandra Zilles, Robert C. Holte | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks | Abstract |
| Miroslav N. Velev, Ping Gao | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles | Abstract |
| Miroslav N. Velev, Ping Gao | ||
| Ninth Symposium of Abstraction, Reformulation, and Approximation | Extracting Topological Information from Spatial Constraint Databases | Abstract |
| Shasha Wu, Peter Revesz | ||
| Eighth Symposium on Abstraction, Reformulation, and Approximation | Importance of Variables Semantic in CNF Encoding of Cardinality Constraints | Abstract |
| A. Anbulagan, Alban Grastien | ||
| 1 - 25 of 49 Items | 1 2 > >> | |