%0 Book
%A  Mikoláš Janota, Inês Lynce (eds.).
%T Theory and applications of satisfiability testing -- SAT 2019 :
%U /book/90229552/Theory-and-applications-of-satisfiability-testing/