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

Long Papers

Boost SAT Solver with Hybrid Branching Heuristic PDF
Seongsoo Moon, Mary Inaba

Extended Abstracts

Non-Markovian Rewards Expressed in LTL: Guiding Search Via Reward Shaping PDF
Alberto Camacho, Oscar Chen, Scott Sanner, Sheila A. McIlraith
Improving a Planner’s Performance through Online Heuristic Configuration of Domain Models PDF
Mauro Vallati, Lukás Chrpa, Thomas Leo McCluskey