6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Anton Belov, Joao Marques-Silva
Detection and elimination of redundant clauses from propositional formulas in Conjunctive Normal Form (CNF) is a fundamental problem with numerous application domains, including AI…