10th IJCAR (CADE, FroCoS, ITP, TABLEAUX) 2020: Paris, France

Invited Paper

SAT, SMT and QBF

Decision Procedures and Combination of Theories

Superposition

Proof Procedures

Non Classical Logics

a service of Schloss Dagstuhl - Leibniz Center for Informatics