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 ...