Automated Reasoning
Lecture notes in computer science · 2020
The IJCAR 2020 proceedings present the latest research on topics such as SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics; interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools.