Wolfgang Schreiner

Recent Publications

First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
Wolfgang Schreiner, Franz{-}Xaver Reichl
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.
PDF bib DOI