Index of /2011/hdl_2072_169740/

Chen, Yijia
Hard instances of algorithms and proof systems
2011
http://ddd.uab.cat/record/77023
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]1=Chen,_Yijia2012-03-22 10:27 12  
[   ]2=Hard_instances_of_algorithms_and_proof_systems2012-03-22 10:27 47  
[   ]3=20112012-03-22 10:27 5  
[   ]4=770232012-03-22 10:27 32  
[IMG]Pr1024.gif2011-10-01 03:34 63K 
[IMG]Pr1024.ico2011-10-01 03:34 25K 
[TXT]Pr1024.info2011-10-01 03:34 9.4K 
[   ]Pr1024.pdf2011-10-01 03:34 249K 
[TXT]Pr1024.txt2011-10-01 03:34 58K 
[TXT]hdl_2072_169740.dirinfo2021-12-23 02:31 353  
[   ]hdl_2072_169740.du2021-12-23 02:31 27  
[TXT]hdl_2072_169740.dupdirs2021-12-23 02:31 0  
[TXT]hdl_2072_169740.dupfiles2021-12-23 02:31 0  
[TXT]hdl_2072_169740.errors2021-12-23 02:31 0  
[TXT]hdl_2072_169740.md52021-12-23 02:31 45  
[   ]hdl_2072_169740.par22021-12-23 02:31 39K 
[TXT]hdl_2072_169740.sha12021-12-23 02:31 53  
[TXT]hdl_2072_169740.sha2562021-12-23 02:31 77  
[TXT]hdl_2072_169740.stats2021-12-23 02:31 244  
[   ]hdl_2072_169740.vol000+100.par22021-12-23 02:31 294K