|
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 |
|
Tenth Symposium of Abstraction, Reformulation, and Approximation |
A Framework for Combining Set Variable Representations |
Abstract
|
Christian Bessiere, Zeynep Kiziltan, Andrea Rappini, Toby Walsh |
|
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 |
|
Tenth Symposium of Abstraction, Reformulation, and Approximation |
Abstraction: A Historical and Interdisciplinary Perspective |
Abstract
|
Lorenza Saitta |
|
Eighth Symposium on Abstraction, Reformulation, and Approximation |
Abstraction-Based Heuristics with True Distance Computations |
Abstract
|
Ariel Felner, Nathan R. Sturtevant |
|
Tenth Symposium of Abstraction, Reformulation, and Approximation |
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers |
Abstract
|
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs |
|
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 |
|
Tenth Symposium of Abstraction, Reformulation, and Approximation |
Determining Linearity of Optimal Plans by Operator Schema Analysis |
Abstract
|
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey |
|
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 |
|
1 - 25 of 72 Items |
1 2 3 > >> |