Author:Witold Charatonik

Keyphrases

decision procedures, finite satisfiability, general satisfiability, logic and computational complexity, two-variable logic with counting quantifiers, unranked trees/forests.