Projects

MapleSat

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

Hierarchical Community Structure

• Investigating the effect of instance structure on solver run time.

LaSeR

• A system for finding LSR backdoors. Supports finding an upper bound on the LSR backdoor with a single run of the solver, or an [expensive] approach for finding minimum-sized LSR backdoors.