Index of tesis/2016/hdl_10803_386422/

Giráldez Crú, Jesús
Beyond the structure of SAT formulas
2016
https://ddd.uab.cat/record/165949