SAT-based approaches for constraint optimization 

Gabàs Masip, Joel (Date of defense: 2016-07-28)

La optimització amb restriccions ha estat utilitzada amb èxit par a resoldre problemes en molts dominis reals (industrials). Aquesta tesi es centra en les aproximacions lògiques, concretament en Màxima Satisfactibilitat ...