AAAI Publications
Open Conference Systems
Conference Help
User
Username
Password
Remember me
Conference Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Conference Information
»
Overview
»
Track Policies
»
Presentations
»
Registration
»
Accommodation
»
Organizers and Partners
Browse
By Conference
By Author
By Title
Font Size
Information
For Authors
Home
About
Log In
Account
Search
Current Conferences
Archive
Announcements
Home
>
Search
>
Author Details
Author Details
Barták, Roman, Charles University in Prague, Czech Republic
Eighth Symposium on Abstraction, Reformulation, and Approximation
- Long Papers
Reformulating Planning Problems by Eliminating Unpromising Actions
Abstract
PDF