Qidiruv: выполнимость
Связь между общезначимостью и выполнимостью формул логики предикатов- Учебное пособие Владивосток Издательский дом Дальневосточного федерального университета 2013 ббк 22. 12 К 93
Истинность и выполнимость формул
- Основные понятия и определения дисциплины
Доказательство «Выполнимость» NP. Доказательство сводимости
- Classification of Scheduling Problems
выполнимость
- Задач распознавания свойств (зрс)