@Inproceedings{EPTCS342.9,
author = {Schreiner, Wolfgang and Reichl, Franz-Xaver},
year = {2021},
title = {First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving},
editor = {Kutsia, Temur},
booktitle = {{\rm Proceedings of the 9th International Symposium on}
Symbolic Computation in Software Science,
{\rm Hagenberg, Austria, September 8-10, 2021}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {342},
publisher = {Open Publishing Association},
pages = {99-113},
doi = {10.4204/EPTCS.342.9},
}