63 citations · 252 across the 39 of their papers we have counts for
1 paper · 2 filters
Curtis Bright, Kevin Cheung, Brett Stevens +3
Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do n…