150 citations · 619 across the 52 of their papers we have counts for
1 paper · 2 filters
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…