 | S. Markovitch |
 |
 | S. Markovitch Learning to Order BDD Variables in Verification - O. Grumberg, S. Livne and S. Markovitch
|
| S. Markovitch The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference - O. Ledeniov and S. Markovitch
|
| S. Markovitch A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle - L. Finkelstein and S. Markovitch
|
| S. Markovitch Multiple-Goal Heuristic Search - D. Davidov and S. Markovitch
|
| S. Markovitch Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources - L. Finkelstein, S. Markovitch and E. Rivlin
|
|
