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


SARA2009 Organization PDF
Vadim Bulitko, J. Christopher Beck
Preface PDF
Vadim Bulitko, J. Christopher Beck

Long Papers

A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis PDF
Rui Abreu, Arjan J. C. van Gemund
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints PDF
A. Anbulagan, Alban Grastien
Integrating Constraint Models for Sequential and Partial-Order Planning PDF
Roman Bartak, Daniel Toropila
Some Interval Approximation Techniques for MINLP PDF
Nicolas Berger, Laurent Granvilliers
Ontology-Based Link Prediction in the LiveJournal Social Network PDF
Doina Caragea, Vikas Bahirwani, Waleed Aljandal, William H. Hsu
Rewriting Constraint Models with Metamodels PDF
Raphael Chenouard, Laurent Granvilliers, Ricardo Soto
Reformulating Planning Problems by Eliminating Unpromising Actions PDF
Lukáš Chrpa, Roman Barták
Cluster Graphs as Abstractions for Constraint Satisfaction Problems PDF
Susan L. Epstein, Xingjian Li
Automated Redesign with the General Redesign Engine PDF
Alexander Feldman, Gregory Provan, Johan de Kleer, Lukas Kuhn, Arjan van Gemund
Abstraction-Based Heuristics with True Distance Computations PDF
Ariel Felner, Nathan R. Sturtevant
Modelling Equidistant Frequency Permutation Arrays in Constraints PDF
Ian Philip Gent, Paul McKay, Ian Miguel, Peter William Nightingale, Sophie Huczynska
Confluence of Reduction Rules for Lexicographic Ordering Constraints PDF
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
In Search of a Better Method to Break Row and Column Symmetries PDF
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases PDF
Timothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth
A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances PDF
Philippe Jégou, Lionel Paris
Automatically Enhancing Constraint Model Instances during Tailoring PDF
Andrea Rendl, Ian Miguel, Ian P. Gent, Chris Jefferson
Common Subexpressions in Constraint Models of Planning Problems PDF
Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory
Tightened Transitive Closure of Integer Addition Constraints PDF
Peter Revesz
Abstract Planning with Unknown Object Quantities and Properties PDF
Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein
Abductive Problem Solving with Abstractions PDF
Gianluca Torta, Daniele Theseider Dupré
Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles PDF
Miroslav N. Velev, Ping Gao
Light Algorithms for Maintaining Max-RPC During Search PDF
Julien Vion, Romuald Debruyne
A Practical Use of Imperfect Recall PDF
Kevin Waugh, Martin Zinkevich, Michael Johanson, Morgan Kan, David Schnizlein, Michael Bowling

Short Papers

2-C3: From Arc-Consistency to 2-Consistency PDF
Marlene Arangú, Miguel A. Salido, Federico Barber
Abstracting Complex Interaction Networks PDF
Lorenza Saitta, Corneliu Henegar, Jean-Daniel Zucker
Downward Path Preserving State Space Abstractions (Extended Abstract) PDF
Sandra Zilles, Robert C. Holte