José A. Alonso · @Jose_A_Alonso
845 followers · 1775 posts · Server mathstodon.xyzNo order-10 projective planes via SAT. ~ David Michael Roberts (@highergeometer). https://thehighergeometer.wordpress.com/2023/08/09/no-order-10-projective-planes-via-sat/ #SAT_solver #Math
Last updated 1 year ago
José A. Alonso · @Jose_A_Alonso
844 followers · 1753 posts · Server mathstodon.xyz
EduSAT: A pedagogical tool for theory and applications of boolean satisfiability. ~ Yiqi Zhao, Ziyan An, Meiyi Ma, Taylor Johnson. https://arxiv.org/abs/2308.07890 #Logic #SAT_Solver #SMT
Last updated 1 year ago