Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings - Janota, Mikoláš; Lynce, Inês (Springer International Publishing, 2019)
Keywords: Computer science; Logic programming; Numerical analysis; Software engineering; Electronic digital computers : Evaluation; Computers; Professions; Theory of Computation; Logic in AI; Numerical Analysis; Software Engineering; System Performance and Evaluation; The Computing Profession