Kelareva, Elena

2 publications

AAAI 2007 Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva

IJCAI 2007 Factored Planning Using Decomposition Trees Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux