Showing 1 - 9 results of 9 for search 'Тычинский, Вячеслав Зиновьевич', query time: 0.04s Refine Results
  1. 1
    Разработка и реализация специализированного программного обеспечения для курса "Методы оптимизации"
    Get full text
    Book Chapter
  2. 2
    Метод исключения переменной из КНФ Цейтина
    Get full text
    Book Chapter
  3. 3
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
    Get full text
    Book Chapter
  4. 4
    О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей
    Get full text
    Book Chapter
  5. 5
    Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
    Get full text
    Book Chapter
  6. 6
    Булева разность и обнаружение неисправностей задержек пути
    Other Authors: “...Тычинский, Вячеслав Зиновьевич...”
    Get full text
    Article
  7. 7
    Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
    Other Authors: “...Тычинский, Вячеслав Зиновьевич...”
    Get full text
    Book Chapter
  8. 8
    Использование ROBDD-графов для тестирования задержек логических схем
    Other Authors: “...Тычинский, Вячеслав Зиновьевич...”
    Get full text
    Article
  9. 9
    Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем
    Other Authors: “...Тычинский, Вячеслав Зиновьевич...”
    Get full text
    Article
Search Tools: Get RSS Feed