Universitat Autònoma de Barcelona
Ara mostrant els elements 1-1 de 1
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 ...
