Вы здесь

Theory and Applications of Satisfiability Testing - SAT 2019: Proc./22nd International Conference, SAT 2019, Lisbon, Portugal, July 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2019
Стр.: 
425 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
11628
Карточка: 

Theory and Applications of Satisfiability Testing - SAT 2019: Proc./22nd International Conference, SAT 2019, Lisbon, Portugal, July 2019/Ed. by Janota M., Lynce I..-Berlin.: Springer, 2019.-Vol. 11628.-425 p.-(Lecture Notes in Computer Science).