2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.CC2015★ 2 cited
Group Isomorphism with Fixed Subnormal Chains
Eugene M. Luks
In recent work, Rosenbaum and Wagner showed that isomorphism of explicitly listed -groups of order could be tested in time, roughly a square…
cs.AI2011
Generalizing Boolean Satisfiability III: Implementation
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…
cs.AI2011
Generalizing Boolean Satisfiability II: Theory
H. E. Dixon, M. L. Ginsberg, E. M. Luks +1
This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of…