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