32 citations · 43 across the 4 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 32 cited
Two-variable Logic with Counting and a Linear Order
Witold Charatonik, Piotr Witkowski
We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structur…
cs.LO2016★ 1 cited
Bounded Model Checking of Pointer Programs Revisited
Witold Charatonik, Piotr Witkowski
Bounded model checking of pointer programs is a debugging technique for programs that manipulate dynamically allocated pointer structures on the heap. It is based on the following…