Mirkis, Vitaly

2 publications

IJCAI 2016 In Search of Tractability for Partial Satisfaction Planning Michael Katz, Vitaly Mirkis

JAIR 2015 Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations Carmel Domshlak, Vitaly Mirkis