TU Delft Algorithmics
SAT @ Delft
Delft University of Technology Awards ALG Group
EWI ALG SAT @ DelftAwards
eng
 
 
 
 
 
 
 
 
 
 
 
SAT 2007 competition
Gold medal for the satisfiable crafted category by march_ks
Gold medal for the unsatisfiable random category by march_ks
Silver medal for the all (SAT+UNSAT) random category by march_ks
Silver medal for the satisfiable crafted category by march_dl
Bronze medal for the unsatisfiable crafted category by march_dl
Bronze medal for the all (SAT+UNSAT) crafted category by march_dl
Silver medal for the unsatisfiable random category by march_dl
Silver medal for the all (SAT+UNSAT) random category by march_dl
Winner of the unsatisfiable crafted category by march_eq
Winner of the all (SAT+UNSAT) crafted category by march_eq