Mostrando ítems 1-1 de 1
Abío Roig, Ignasi (Fecha de defensa: 2013-05-15)
The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ...