Now showing items 1-1 of 1
Soler Cabrejas, Juan Ramón (Date of defense: 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 ...