First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving

Wolfgang Schreiner and Franz-Xaver Reichl
January 2021
PDF Cite DOI
Type
Conference Paper