S. Markovitch
Identifiers
- name variant S. Markovitch 0.60 · backfill
Papers (5)
- Multiple-Goal Heuristic Search cs.AI · 2011 · author #2
- Learning to Order BDD Variables in Verification cs.AI · 2011 · author #3
- Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Shared Resources cs.AI · 2011 · author #2
- The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference cs.AI · 2011 · author #2
- A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle cs.AI · 1998 · author #2
Mentions
Frequent Coauthors
- L. Finkelstein 2 shared papers
- D. Davidov 1 shared papers
- E. Rivlin 1 shared papers
- O. Grumberg 1 shared papers
- O. Ledeniov 1 shared papers
- S. Livne 1 shared papers