15 citations · 15 across the 4 of their papers we have counts for
1 paper · 2 filters
H. E. Dixon, M. L. Ginsberg, D. Hofer +2
This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern hi…