Projects

Complexity Theory of Solvers

This project aims to bridge the practice and theory of SAT.

MapleSAT

The award-winning SAT solver that forms the backbone of Laser.