| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs |
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers.  |
SARA  |
2013 |
DBLP BibTeX RDF |
|
| 1 | Christian Bessiere, Zeynep Kiziltan, Andrea Rappini, Toby Walsh |
A Framework for Combining Set Variable Representations. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Ashique Rupam Mahmood, Richard S. Sutton |
Position Paper: Representation Search through Generate and Test. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Robert C. Holte |
Korf's Conjecture and the Future of Abstraction-Based Heuristics. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Maher A. Alhossaini, J. Christopher Beck |
Instance-Specific Remodelling of Planning Domains by Adding Macros and Removing Operators. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | T. K. Satish Kumar, Liron Cohen 0002, Sven Koenig |
Incorrect Lower Bounds for Path Consistency and More. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey |
Determining Linearity of Optimal Plans by Operator Schema Analysis. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Harm van Seijen, Shimon Whiteson, Leon J. H. M. Kester |
Efficient Abstraction Selection in Reinforcement Learning (Extended Abstract). |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux |
Microstructures for CSPs with Constraints of Arbitrary Arity. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | |
Past SARA Symposia. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | J. Christopher Beck |
Modeling, Global Constraints, and Decomposition. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Filip Dvorak, Daniel Toropila, Roman Barták |
Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Alan M. Frisch, Peter Gregory (eds.) |
Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Sadeqi, Robert C. Holte, Sandra Zilles |
Using Coarse State Space Abstractions to Detect Mutex Pairs. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Lukás Chrpa, Mauro Vallati, Thomas Leo McCluskey, Diane E. Kitchin |
Generating Macro-Operators by Exploiting Inner Entanglements. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | T. K. Satish Kumar, Marcello Cirillo, Sven Koenig |
On the Traveling Salesman Problem with Simple Temporal Constraints. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | |
Preface. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | T. K. Satish Kumar, Liron Cohen 0002, Sven Koenig |
Submodular Constraints and Planar Constraint Networks: New Results. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Pavel Surynek |
Optimal Cooperative Path-Finding with Generalized Goals in Difficult Cases. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Nathan R. Sturtevant |
External Memory PDBs: Initial Results. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | |
SARA 2013 Organization. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Lorenza Saitta |
Abstraction: A Historical and Interdisciplinary Perspective. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Amir Aavani, David G. Mitchell, Eugenia Ternovska |
New Encoding for Translating Pseudo-Boolean Constraints into SAT. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Abhijeet Mohapatra, Michael R. Genesereth |
Reformulating Aggregate Queries Using Views. |
SARA |
2013 |
DBLP BibTeX RDF |
|
| 1 | Shasha Wu, Peter Z. Revesz |
Extracting Topological Information from Spatial Constraint Databases. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Patricia J. Riddle, Robert C. Holte, Michael W. Barley |
Does Representation Matter in the Planning Competition? |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lixin Li, Xingyou Zhang, James B. Holt, Jie Tian, Reinhard Piltner |
Spatiotemporal Interpolation Methods for Air Pollution Exposure. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Genesereth, Peter Z. Revesz (eds.) |
Proceedings of the Ninth Symposium on Abstraction, Reformulation, and Approximation, SARA 2011, Parador de Cardona, Cardona, Catalonia, Spain, July 17-18, 2011. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Laura Climent, Miguel A. Salido, Federico Barber |
Reformulating Dynamic Linear Constraint Satisfaction Problems as Weighted CSPs for Searching Robust Solutions. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry |
Reformulating R(*, m)C with Tree Decomposition. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | |
Preface. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Minlue Wang, Richard Dearden |
Planning with State Uncertainty via Contingency Planning and Execution Monitoring. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sara Bernardini, David E. Smith 0001 |
Automatic Synthesis of Temporal Invariants. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Henry Soldano |
A Modal View on Abstract Learning and Reasoning. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Miroslav N. Velev, Ping Gao 0002 |
Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret |
Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Gianluca Torta |
Reformulation for the Diagnosis of Discrete-Event Systems. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michael Kassoff, Michael R. Genesereth |
The Markov Reformulation Theorem. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tiago Matos, Yannick Plaino Bergamo, Valdinei Freire da Silva, Fábio Gagliardi Cozman, Anna Helena Reali Costa |
Simultaneous Abstract and Concrete Reinforcement Learning. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
Reformulating the Dual Graphs of CSPs to Improve the Performance of Relational Neighborhood Inverse Consistency. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel Damir Harabor, Adi Botea, Philip Kilby |
Path Symmetries in Undirected Uniform-Cost Grids. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Miroslav N. Velev, Ping Gao 0002 |
Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alban Grastien, Gianluca Torta |
A Theory of Abstraction for Diagnosis of Discrete-Event Systems. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Cornelia Caragea, Adrian Silvescu, Saurabh Kataria, Doina Caragea, Prasenjit Mitra |
Classifying Scientific Publications Using Abstract Features. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Swetha Billa, Mark A. Griep, Peter Z. Revesz |
Approximate Search on Protein Structures for Identification of Horizontal Gene Transfer in Bacteria. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Amanda Swearngin, Berthe Y. Choueiry, Eugene C. Freuder |
A Reformulation Strategy for Multi-Dimensional CSPs: The Case Study of the SET Game. |
SARA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Philippe Jégou, Lionel Paris |
A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
In Search of a Better Method to Break Row and Column Symmetries. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
Confluence of Reduction Rules for Lexicographic Ordering Constraints. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Miroslav N. Velev, Ping Gao 0002 |
Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | |
Preface. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Timothy L. Hinrichs, Eric Jui-Yi Kao, Michael R. Genesereth |
Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lukás Chrpa, Roman Barták |
Reformulating Planning Problems by Eliminating Unpromising Actions. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rui Abreu 0001, Arjan J. C. van Gemund |
A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson |
Automatically Enhancing Constraint Model Instances during Tailoring. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Susan L. Epstein, Xingjian Li 0003 |
Cluster Graphs as Abstractions for Constraint Satisfaction Problems. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava 0001, Neil Immerman, Shlomo Zilberstein |
Abstract Planning with Unknown Object Quantities and Properties. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marlene Arangú, Miguel A. Salido, Federico Barber |
2-C3: From Arc-Consistency to 2-Consistency. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vadim Bulitko, J. Christopher Beck (eds.) |
Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009, Lake Arrowhead, California, USA, 8-10 August 2009 |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kevin Waugh, Martin Zinkevich, Michael Johanson, Morgan Kan, David Schnizlein, Michael H. Bowling |
A Practical Use of Imperfect Recall. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peter Z. Revesz |
Tightened Transitive Closure of Integer Addition Constraints. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ariel Felner, Nathan R. Sturtevant |
Abstraction-Based Heuristics with True Distance Computations. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sandra Zilles, Robert C. Holte |
Downward Path Preserving State Space Abstractions (Extended Abstract). |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Doina Caragea, Vikas Bahirwani, Waleed Aljandal, William H. Hsu |
Ontology-Based Link Prediction in the LiveJournal Social Network. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lorenza Saitta, Corneliu Henegar, Jean-Daniel Zucker |
Abstracting Complex Interaction Networks. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roman Barták, Daniel Toropila |
Integrating Constraint Models for Sequential and Partial-Order Planning. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto 0001 |
Rewriting Constraint Models with Metamodels. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska |
Modelling Equidistant Frequency Permutation Arrays in Constraints. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Berger, Laurent Granvilliers |
Some Interval Approximation Techniques for MINLP. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Anbulagan, Alban Grastien |
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | |
SARA2009 Organization. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Julien Vion, Romuald Debruyne |
Light Algorithms for Maintaining Max-RPC During Search. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Torta, Daniele Theseider Dupré |
Abductive Problem Solving with Abstractions. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas D. Kuhn, Arjan J. C. van Gemund |
Automated Redesign with the General Redesign Engine. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory |
Common Subexpressions in Constraint Models of Planning Problems. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock |
Reformulating Constraint Satisfaction Problems to Improve Scalability. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Gregory, Derek Long, Maria Fox 0001 |
A Meta-CSP Model for Optimal Planning. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Pickett |
Using Analogy Discovery to Create Abstractions. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Montserrat Abril, Miguel A. Salido, Federico Barber |
DFS-Tree Based Heuristic Search. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
CSP Decomposition, DFS-tree, heuristic search, Constraint Satisfaction Problems |
| 1 | Anders Jonsson 0001, Andrew G. Barto |
Active Learning of Dynamic Bayesian Networks in Markov Decision Processes. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Raghavan, Balaraman Ravindran |
Homogeneous Hierarchical Composition of Areas in Multi-robot Area Coverage. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh |
Reformulating Global Constraints: The Slideand RegularConstraints. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenza Saitta, Jean-Daniel Zucker |
Abstraction and Complexity Measures. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Ha Vu, Barry O'Sullivan |
Generalized Constraint Acquisition. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Gammer, Eyal Amir |
Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Anderson 0003, Robert Holte, Jonathan Schaeffer |
Partial Pattern Databases. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy L. Hinrichs |
Extensional Reasoning. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Russ Abbott |
Abstraction, Emergence, and Thought. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
thought externalization, Abstraction, emergence |
| 1 | Ugur Kuter, Jiaqiao Hu |
Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Yang, Joseph C. Culberson, Robert Holte |
Using Infeasibility to Improve Abstraction-Based Heuristics. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Christopher Beck, Michael Grüninger |
What's Your Problem? The Problem of Problem Definition. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Miguel, Wheeler Ruml (eds.) |
Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan de Kleer |
Dynamic Domain Abstraction Through Meta-diagnosis. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
Abstraction, diagnosis, qualitative reasoning, model-based reasoning |
| 1 | Scot Anderson, Peter Z. Revesz |
CDB-PV: A Constraint Database-Based Program Verifier. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan R. Sturtevant, M. Renee Jansen |
An Analysis of Map-Based Abstraction and Refinement. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais |
Relaxation of Qualitative Constraint Networks. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenza Saitta, Pietro Torasso, Gianluca Torta |
Formalizing the Abstraction Process in Model-Based Diagnosis. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Felner, Nir Ofek |
Combining Perimeter Search and Pattern Database Abstractions. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund |
Approximate Model-Based Diagnosis Using Greedy Stochastic Search. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. Salido |
Distributed CSPs: Why It Is Assumed a Variable per Agent? |
SARA |
2007 |
DBLP DOI BibTeX RDF |
Distributed Constraint Satisfaction Problems |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license