EasyChair Smart SlideDocs/Log in
Author: Brett Stevens

This page shows all presentations of this author published in EasyChair Smart Slide.

Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation

Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation

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

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair