Wolfgang Schreiner and Franz-Xaver Reichl

Recent Publications

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

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021 (Temur Kutsia), volume 342 of EPTCS, pages 99-113, 2021.