Design and implementation of exact max-sat solvers

Tesis doctoral de Jordi Planes Cid El problema de la satisfactibilidad (sat) es el problema que trata de decidir si […]

, , , , ,