Other Projects

Expository writings

Code

  • ToughSAT - a tool to generate SAT instances based off of hard problems such as FACTORING and SUBSET SUM.