research
∙
09/29/2011
Multiple-Goal Heuristic Search
This paper presents a new framework for anytime heuristic search where t...
share
research
∙
06/30/2011
Learning to Order BDD Variables in Verification
The size and complexity of software and hardware systems have significan...
research
∙
06/26/2011
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources
The performance of anytime algorithms can be improved by simultaneously ...
research
∙
05/27/2011
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
It is common to view programs as a combination of logic and control: the...
research
∙
06/01/1998
