Recent Papers by Allen Van Gelder

Journal

  1. 2011 Stable Feature Flow Fields stableFFF.pdf stableFFF.bib
  2. 2009 Using PVsolve to Analyze and Locate Positions of Parallel Vectors pvsolve.pdf pvsolve.bib

    3. Conference, Refereed

  3. 2011 A Uniform Approach for Generating Proofs and Strategies for both True and False QBF Formulas strategies.pdf strategies.bib
  4. 2011 Careful Ranking of Multiple Solvers with Timeouts and Ties careful.pdf careful.bib
  5. 2011 Generalized Conflict-Clause Strengthening for Satisfiability Solvers generalized.pdf generalized.bib
  6. 2010 Zero-One Designs Produce Small Hard SAT Instances sgen2-sat10.pdf sgen2-sat10.bib
  7. 2009 Improved Conflict-Clause Minimization Leads to Improved Propositional Proof Traces ccmin-avg-sat09.pdf ccmin-avg-sat09.bib


Questions regarding about page content should be directed to
webmaster@cse.ucsc.edu
 Last modified Friday, 09-Sep-2011 18:34:42 PDT.