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

Factored Planning Using Decomposition Trees. - Elena Kelareva; Olivier Buffet; Jinbo Huang; Sylvie Thiébaux (IJCAI, 2007)

CP and MIP Methods for Ship Scheduling with Time-Varying Draft. - Elena Kelareva; Sebastian Brand; Philip Kilby; Sylvie Thiébaux; Mark Wallace 001 (ICAPS, 2012)

CP Methods for Scheduling and Routing with Time-Dependent Task Costs. - Elena Kelareva; Kevin Tierney; Philip Kilby (CPAIOR, 2013)