Elena Kelareva

Modeling and solving diagnosis of discrete-event systems via satisfiability

Jussi Rintanen, Alban Grastien, Anbu Anbulagan, 2007 .

The “ DUKC Optimiser ” Ship Scheduling System

Elena Kelareva, 2011 .