28 citations · 51 across the 9 of their papers we have counts for
1 paper · 1 filter
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,…