The satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting were shown in [5] to be in NExpTime. This paper presents a simplified proof via a result on integer programming due to Eisenbrand and Shmonina [2]. © 2010 Springer-Verlag.
CITATION STYLE
Pratt-Hartmann, I. (2010). The two-variable fragment with counting revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6188 LNAI, pp. 42–54). https://doi.org/10.1007/978-3-642-13824-9_4
Mendeley helps you to discover research relevant for your work.