Index of /~tarau/teaching/CompMath

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]CW.hs19-Sep-2012 19:14 2.1K 
[   ]DAC2001v56.pdf07-Nov-2012 18:03 83K 
[   ]MiniSat_v1.13_short.pdf07-Nov-2012 17:55 72K 
[TXT]RankPerms.hs19-Sep-2012 17:58 1.3K 
[   ]Riffs and Rotes - OeisWiki.pdf19-Sep-2012 16:49 1.2M 
[   ]SATevalSUDOKU.pdf07-Nov-2012 18:44 185K 
[TXT]Visuals.hs19-Sep-2012 18:40 3.2K 
[TXT]bbase.hs19-Sep-2012 16:55 1.2K 
[TXT]collatz.hs07-Nov-2012 19:17 121  
[TXT]exam.txt14-Nov-2012 19:04 636  
[   ]freealgH.pdf06-Nov-2012 21:23 270K 
[TXT]fsyn.hs16-Oct-2012 10:12 4.0K 
[   ]hOBDT.pdf08-Sep-2012 14:42 240K 
[   ]iso.pdf10-Oct-2012 18:40 476K 
[   ]sat4j.jar08-Jan-2008 06:59 1.2M 
[TXT]slides_SYNASC_freealg.hs27-Sep-2012 23:19 6.2K 
[   ]slides_SYNASC_freealg.pdf28-Sep-2012 05:17 223K 
[   ]slides_hOBDT.pdf29-Sep-2012 03:27 155K 
[   ]sp.pro14-Nov-2012 18:29 500  

Apache/2.2.22 (Ubuntu) Server at www.cse.unt.edu Port 80