![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Ondrej Kuzelka, Filip Zelezný: Fast estimation of first-order clause coverage through randomization and maximum likelihood. ICML 2008: 504-511 |
1 | EE | Ondrej Kuzelka, Filip Zelezný: A Restarted Strategy for Efficient Subsumption Testing. Fundam. Inform. 89(1): 95-109 (2008) |
1 | Filip Zelezný | [1] [2] |