Index of /pub/challenge/satisfiability/contributed

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]UCSC/1993-07-11 14:05 -  
[DIR]barth/1993-06-09 09:10 -  
[DIR]crawford/1993-07-29 15:39 -  
[DIR]dubois/1993-11-28 10:12 -  
[DIR]gent/1993-02-03 10:11 -  
[DIR]iwama/1993-11-28 09:48 -  
[DIR]naylor/1993-03-28 11:23 -  
[DIR]pretolani/1993-08-22 10:24 -  
[DIR]selman/1993-07-30 11:41 -  
[DIR]stamm-wilbrandt/1993-06-17 18:45 -  
[DIR]zhang/1993-08-22 10:34 -  
[DIR]zuazaga/1993-11-28 09:06 -  

Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80