Browse Title Index


 
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 > >>