output
20192026
most citedLPR: Large Language Models-Aided Program Reduction

15 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.DMShow all

1 paper · 1 filter

cs.DM2019★ 2 cited

A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords

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…