4 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Pierre Carbonnelle
Quantifiers make first-order logic more expressive than propositional logic, but they also make solving satisfiability problems more difficult. To solve these problems efficiently,…