EasyChair Smart SlideDocs/Log in
Author: Curtis Bright

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

Enumerating Projective Planes of Order Nine with Proof Verification

Enumerating Projective Planes of Order Nine with Proof Verification

Daniel Dallaire and Curtis Bright

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: 2
Copyright © 2002 – 2024 EasyChair