Beyond the Structure of SAT Formulas
Beyond the Structure of SAT Formulas
Jesús
Jesús
 
Giráldez-Crú
Giráldez-Crú
 (
)
Beyond the Structure of SAT Formulas
Beyond the Structure of SAT Formulas
 

An industrial PhD

Advisors: 

Jordi Levy

Jordi Levy

University: 

Abstract: