Wolfgang Schreiner and Franz-Xaver Reichl

Recent Publications

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

2021