Index of tesis/2000/tdx-0720101-092432/

Béjar Torres, Ramón
Systematic and local search algorithms for regular-SAT
2001
https://ddd.uab.cat/record/36681
[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]1=Bejar_Torres,_Ramon2022-11-08 17:26 22  
[ ]2=Systematic_and_local_search_algorithms...2022-11-08 17:26 55  
[ ]3=20012022-11-08 17:26 5  
[ ]4=366812022-11-08 17:26 33  
[IMG]rbt1de2.gif2001-07-20 09:25 216K 
[IMG]rbt1de2.ico2001-07-20 09:25 12K 
[TXT]rbt1de2.info2001-07-20 09:25 5.7K 
[ ]rbt1de2.pdf2001-07-20 09:25 619K 
[TXT]rbt1de2.txt2001-07-20 09:25 325K 
[IMG]rbt2de2.gif2001-07-20 09:25 279K 
[IMG]rbt2de2.ico2001-07-20 09:25 12K 
[TXT]rbt2de2.info2001-07-20 09:25 7.3K 
[ ]rbt2de2.pdf2001-07-20 09:25 1.0M 
[TXT]rbt2de2.txt2001-07-20 09:25 699K 
[TXT]robots.txt2007-02-12 15:48 550  
[TXT]tdx-0720101-092432.dirinfo2024-09-16 18:14 362  
[ ]tdx-0720101-092432.du2024-09-16 18:14 47  
[TXT]tdx-0720101-092432.dupdirs2024-09-16 18:14 0  
[TXT]tdx-0720101-092432.dupfiles2024-09-16 18:14 0  
[TXT]tdx-0720101-092432.errors2024-09-16 18:14 0  
[TXT]tdx-0720101-092432.md52024-09-16 18:14 92  
[ ]tdx-0720101-092432.par22024-09-16 18:14 40K 
[TXT]tdx-0720101-092432.sha12024-09-16 18:14 108  
[TXT]tdx-0720101-092432.sha2562024-09-16 18:14 156  
[TXT]tdx-0720101-092432.stats2024-09-16 18:14 273  
[ ]tdx-0720101-092432.vol000+100.par22024-09-16 18:14 365K 
[TXT]tdx.html2010-04-19 17:03 5.2K 
[TXT]tdx.html.orig2009-04-23 12:54 5.3K