A SAT-based Resolution of Lam's Problem

From MaRDI portal

Publication:6355609

Jump to:navigation, search

DOI10.1609/aaai.v35i5.16483arXiv2012.04715MaRDI QIDQ6355609

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

Publication date: 8 December 2020

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6355609&oldid=35975945"