  Some of my <a href= "http://www.cs.utexas.edu/users/bayardo/papers.html"> research papers</a> are on-line, along with a <a href = "http://www.cs.utexas.edu/users/bayardo/papers.html#toolkit"> toolkit</a> for generating and solving exceptionally hard SAT instances. <br>
