SARA 2009 - PDF Preprint Papers

SARA 2009 International Symposium on Abstraction

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SARA-2009 Paper

click to vote

SARA
2009
Springer

258views Artificial Intelligence» more SARA 2009»

Abstraction-Based Heuristics with True Distance Computations

13 years 11 months ago

Download webdocs.cs.ualberta.ca

Ariel Felner, Nathan R. Sturtevant

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	258	Abstraction-Based Heuristics with True Distance Computations	claim
2	257	Reformulating Planning Problems by Eliminating Unpromising Actions	claim
3	257	Cluster Graphs as Abstractions for Constraint Satisfaction Problems	claim
4	252	Integrating Constraint Models for Sequential and Partial-Order Planning	claim
5	251	Tightened Transitive Closure of Integer Addition Constraints	claim
6	239	Abstract Planning with Unknown Object Quantities and Properties	claim
7	231	Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles	claim
8	229	Automated Redesign with the General Redesign Engine	claim
9	225	A Practical Use of Imperfect Recall	claim
10	225	Rewriting Constraint Models with Metamodels	claim
11	224	Modelling Equidistant Frequency Permutation Arrays in Constraints	claim
12	224	Automatically Enhancing Constraint Model Instances during Tailoring	claim
13	224	Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases	claim
14	222	Some Interval Approximation Techniques for MINLP	claim
15	222	Light Algorithms for Maintaining Max-RPC During Search	claim
16	211	Common Subexpressions in Constraint Models of Planning Problems	claim
17	208	Downward Path Preserving State Space Abstractions (Extended Abstract)	claim
18	207	A New Formula Rewriting by Reasoning on a Graphical Representation of SAT Instances	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers