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

Schreiner, Wolfgang; Reichl, Franz-Xaver

doi:10.4204/EPTCS.342.9

by Wolfgang Schreiner, Franz-Xaver Reichl

Reference:

First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT SolvingWolfgang Schreiner, Franz-Xaver ReichlProceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021 (Temur Kutsia, ed.), volume 342 of EPTCS, pages 99–113, 2021.

Bibtex Entry:

@inproceedings{ReichlS21,
  author       = {Wolfgang Schreiner and
                  Franz{-}Xaver Reichl},
  editor       = {Temur Kutsia},
  title        = {First-Order Logic in Finite Domains: Where Semantic Evaluation Competes
                  with {SMT} Solving},
  booktitle    = {Proceedings of the 9th International Symposium on Symbolic Computation
                  in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
                  2021},
  series       = {{EPTCS}},
  volume       = {342},
  pages        = {99--113},
  year         = {2021},
  url          = {10.4204/EPTCS.342.9">https://doi.org/10.4204/EPTCS.342.9},
  doi          = {10.4204/EPTCS.342.9},
}