28 citations · 51 across the 9 of their papers we have counts for
1 paper · 2 filters
Jasmin Blanchette, Petar Vukmirović
We generalize several propositional preprocessing techniques to higher-order logic, building on existing first-order generalizations. These techniques eliminate literals, clauses,…