activity
20092026
most citedSatisfiability of Acyclic and Almost Acyclic CNF Formulas

38 citations · 246 across the 68 of their papers we have counts for

collaborators
Showing 2026Show all

5 papers · 1 filter