Theory and Applications of Satisfiability Testing – SAT 2019

Mikoláš Janota, Inês Lynce

Theory and Applications of Satisfiability Testing – SAT 2019 - Springer Springer 2019

9783030242589

EBOOK