A SAT-based Resolution of Lam's Problem.

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

Browse the full AAAI paper archive.