Theory and applications of satisfiability testing -- SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9--12, 2019. Proceedings
scientific article