research
∙
09/07/2021
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
In this paper, we compare two alternative mechanisms for deciding the va...
research
∙
06/04/2021