TU Delft Algorithmics
SAT @ Delft
Technische Universiteit Delft Home ALG Group
EWI ALG SAT @ DelftHome
eng
 
Home
 
Publications
 
Reports / theses
 
March
 
MiniMarch
 
Awards
 
Download
 
Announcements
 
Course slides
 
Van der Waerden
 
Links
Welcome to SAT @ Delft
This site contains various sorts of documented research, focused around the satisfiability area, which was carried out at Delft University.

It shows publications in journals, technical reports, phd theses, master theses but also reports written by students for getting course credits.

Satisfiability related software developed at Delft University can be downloaded from this site as well.
                                                                                                                                                                                                                                                                             
Top of the page

The newest version of this page can be found at: http://www.st.ewi.tudelft.nl/sat/index.php
Last modified: Tue, 10 Feb 2009 15:52:37 GMT  

Copyright © 2005 SAT @ Delft. Please mail if you find any errors or omissions.
All Rights Reserved. Design A. Iosup.