2000 character limit reached
Modular SAT-based techniques for reasoning tasks in team semantics (2204.00576v1)
Published 1 Apr 2022 in cs.LO
Abstract: We study the complexity of reasoning tasks for logics in team semantics. Our main focus is on the data complexity of model checking but we also derive new results for logically defined counting and enumeration problems. Our approach is based on modular reductions of these problems into the corresponding problems of various classes of Boolean formulas. We illustrate our approach via several new tractability/intractability results.