vix.ing · top · new · best · stats · spec

Aaron Barnoff

  1. Improving SAT Solvers on Orthogonal Latin Square Problems
    2026/05/04 by Aaron Barnoff, Curtis Bright · 1 voice
    Computer Science · Mathematics · #cs.DM #math.CO