TU Delft Algorithmics
Marijn Heule
Delft University of Technology Links ALG Group
EWI ALG Marijn HeuleLinks
eng
 
Home
 
Resume
 
Publications
 
Project
 
Downloads
 
Awards
 
Links
JSAT Journal on Boolean Satisfiability Modeling and Computation
SAT competitions
SAT Live! Up-to-date links for the SATisfiability Problem
SATLIB The Satisfiability Library
SAT community picture taken at SAT 2000 links in this picture redirect to the homepages of the participants
                                                                                                                                                                                                                                                                             
Top of the page

The newest version of this page can be found at: http://www.st.ewi.tudelft.nl/~marijn/links.php
Last modified: Sun, 25 Apr 2010 20:42:57 GMT  

Copyright © 2005 Marijn Heule. Please mail if you find any errors or omissions.
All Rights Reserved. Design A. Iosup.