Welcome!
Here you will find a few artifacts from my life, such as photos and publications, as well as the latest version of the SBSAT satisfiability solver.
Research Interests:
Colleagues
January 3rd, 2013