O. Ledeniov

Identifiers

• name variant O. Ledeniov 0.60 · backfill

Papers (1)

1. The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference cs.AI · 2011 · author #1

Mentions

• 1105.5442 #1 · backfill · confidence 0.70 O. Ledeniov

Frequent Coauthors

• S. Markovitch 1 shared papers