A SAT-based Resolution of Lam's Problem

From MaRDI portal
A SAT-based Resolution of Lam's Problem (scientific article from arXiv)

MaRDI QIDQ7149259arXivFDO

Authors Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

Publication date 2020

Published in arXiv


arXiv classification

cs.DM















This page was built for publication: A SAT-based Resolution of Lam's Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7149259)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_SAT-based_Resolution_of_Lam%27s_Problem_(scientific_article_from_arXiv)&oldid=107114354"
Powered by MediaWiki