Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings - Janota, Mikoláš; Janota, Mikoláš; Lynce, Inês; Lynce, Inês (Springer International Publishing : Imprint: Springer, 2019)