48 citations · 61 across the 5 of their papers we have counts for
1 paper · 1 filter
Stefan Schneider
In recent years, finding new satisfiability algorithms for various circuit classes has been a very active line of research. Despite considerable progress, we are still far away fro…