Index of tesis/2021/hdl_10803_671710/

Soler Cabrejas, Juan Ramón
New Solving Techniques for Maximum and Minimum Satisfiability
2021
https://ddd.uab.cat/record/243525
[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jrsc1de1.pdf2021-06-17 05:27 1.1M 
[IMG]jrsc1de1.gif2021-06-17 05:27 189K 
[IMG]jrsc1de1.ico2021-06-17 05:27 13K 
[TXT]jrsc1de1.info2021-06-17 05:27 4.1K 
[TXT]jrsc1de1.txt2021-06-17 05:27 342K 
[   ]1=Soler_Cabrejas,_Juan_Ramon2022-11-08 17:31 28  
[   ]2=New_Solving_Techniques_for_Maximum_and...2022-11-08 17:31 62  
[   ]3=20212022-11-08 17:31 5  
[   ]4=2435252022-11-08 17:31 34  
[TXT]hdl_10803_671710.dirinfo2022-11-09 02:24 354  
[   ]hdl_10803_671710.du2022-11-09 02:24 31  
[TXT]hdl_10803_671710.dupdirs2022-11-09 02:24 0  
[TXT]hdl_10803_671710.dupfiles2022-11-09 02:24 0  
[TXT]hdl_10803_671710.errors2022-11-09 02:24 0  
[TXT]hdl_10803_671710.md52022-11-09 02:24 47  
[TXT]hdl_10803_671710.sha12022-11-09 02:24 55  
[TXT]hdl_10803_671710.sha2562022-11-09 02:24 79  
[TXT]hdl_10803_671710.stats2022-11-09 02:24 291