203 citations · 322 across the 18 of their papers we have counts for
1 paper · 2 filters
Oliver Kullmann
This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Inf…