New Solving Techniques for Maximum and Minimum Satisfiability 

Soler Cabrejas, Juan Ramón (Fecha de defensa: 2021-02-15)

El problema de la Satisfactibilitat (SAT) consisteix a decidir si existeix una assignació de valors de veritat que satisfaci una fórmula proposicional donada. SAT va ser el primer problema per al qual es va demostrar la ...