Solving hard industrial combinatorial problems with sat

Tesis doctoral de Ignasi Abío Roig The topic of this thesis is the development of sat-based techniques and tools for […]

, , , , ,