58 citations · 327 across the 60 of their papers we have counts for
1 paper · 2 filters
Johannes Klaus Fichte, Stefan Szeider
Over the last two decades, propositional satisfiability (SAT) has become one of the most successful and widely applied techniques for the solution of NP-complete problems. The aim…