7. IJCAR (CADE, FroCoS, TABLEAUX) 2014: Vienna, Austria

Invited Papers

HOL

SAT and QBF

SMT

Equational Reasoning

Verification

Proof Theory

Modal and Temporal Reasoning

SMT and SAT

Modal Logic

Complexity

Description Logics

Knowledge Representation and Reasoning

maintained by Schloss Dagstuhl LZI at University of Trier