Index of /papers/optchk-ppdp2016

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]witt.pl2016-05-23 12:08 27K 
[TXT]boyer.pl2016-05-23 12:08 19K 
[TXT]boyerx.pl2016-05-23 12:08 14K 
[TXT]jugs.pl2016-05-23 12:08 5.4K 
[TXT]fft.pl2016-05-23 12:08 4.8K 
[TXT]poly.pl2016-05-23 12:08 3.8K 
[TXT]guardians.pl2016-05-23 12:08 3.6K 
[TXT]crypt.pl2016-05-23 12:08 2.7K 
[TXT]hamming.pl2016-05-23 12:08 2.7K 
[TXT]serialize.pl2016-05-23 12:08 2.1K 
[TXT]progeom.pl2016-05-23 12:08 2.0K 
[TXT]knights.pl2016-05-23 12:08 1.5K 
[TXT]exp.pl2016-05-23 12:08 1.3K 
[TXT]mmatrix.pl2016-05-23 12:08 1.1K 
[TXT]queens.pl2016-05-23 12:08 1.1K 
[TXT]qsort.pl2016-05-23 12:08 1.0K 
[TXT]primes.pl2016-05-23 12:08 1.0K 
[TXT]hanoi.pl2016-05-23 12:08 969  
[TXT]deriv.pl2016-05-23 12:08 923  
[TXT]tak.pl2016-05-23 12:08 511  
[TXT]nreverse.pl2016-05-23 12:08 476  
[TXT]fib.pl2016-05-23 12:08 469  
[TXT]factorial.pl2016-05-23 12:08 301  

Apache/2.4.62 (Debian) Server at cliplab.org Port 443