1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Theory andApplications ofSatisfiabilityTesting – SAT 2007 João Marques‐SilvaKarem A. Sakallah2007 год

Theory and Applications of Satisfiability Testing – SAT 2007
книга

Страница публикацииПубликация в OpenAlex
Год издания: 2007
Авторы: João Marques‐Silva, Karem A. Sakallah
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Risk and Safety Analysis