Solving hard industrial combinatorial problems with SAT 

Abío Roig, Ignasi (Date of defense: 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 ...