Index of /pub/challenge

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]submit/1995-09-11 15:19 -  
[DIR]satisfiability/1993-06-28 12:44 -  
[DIR]sat/1993-06-28 12:44 -  
[DIR]proposals/1993-03-14 09:50 -  
[   ]ls-lR1993-11-28 10:36 52K 
[DIR]graph/1993-09-14 14:57 -  
[TXT]gen_info.tex1992-12-11 15:36 15K 
[   ]gen_info.ps1992-12-11 15:37 108K 
[   ]gen_info.dvi1992-12-11 15:37 19K 
[DIR]contributed/1993-03-14 09:11 -  
[TXT]callpart.asc1993-09-14 15:07 14K 
[TXT]call_paper.asc1993-07-11 15:42 2.9K 
[TXT]call_abstract.asc1992-12-11 15:39 3.2K 
[TXT]call.txt1992-09-28 10:35 2.9K 
[TXT]call.tex1992-09-29 14:07 3.4K 
[   ]call.ps1992-09-29 14:07 54K 
[   ]SEP1993.UPD1993-09-19 11:26 2.3K 
[   ]NOV2893.UPD1993-11-28 10:29 1.5K 
[   ]NOV2192.UPD1992-11-21 15:33 3.8K 
[   ]NEW_FILES1993-11-28 10:36 12K 
[   ]MAY0893.UPD1993-05-09 11:47 1.7K 
[   ]MAR2893.UPD1993-03-28 11:10 1.8K 
[   ]MAR1293.UPD1993-03-14 15:54 11K 
[   ]JUN0993.UPD1993-06-09 10:15 1.7K 
[   ]JUL29.UPD1993-07-29 16:12 2.4K 
[   ]JUL11.UPD1993-07-11 15:37 2.3K 
[   ]JAN0993.UPD1993-01-10 11:52 1.6K 
[   ]INDEX.BAK1993-09-19 11:35 35K 
[   ]INDEX1993-11-28 10:36 35K 
[   ]FEB0393.UPD1993-02-04 12:48 5.1K 
[   ]DONT_FORGET_TO_REGISTER1992-09-28 11:25 162  
[   ]DEC1192.UPD1992-12-11 15:35 3.1K 
[   ]DEC0392.UPD1992-12-03 14:33 1.7K 
[   ]CURRENT_SCHEDULE1993-09-30 16:24 6.5K 
[   ]AUG22.UPD1993-08-22 13:54 3.0K 

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