Синхронизация частичных и недерминированных автоматов: подход на основе SAT-решателей.

Шабана Ханан Магди Дарвиш