Nu aveti permisiuni pentru a descarca fisierul grader_test2.in
Diferente pentru 2-sat intre reviziile #30 si #31
Nu exista diferente intre titluri.
Diferente intre continut:
(Categoria _Algoritmi_, Autor _Cosmin Negruşeri_) (toc){width: 37em}*{text-align:center} *Conţinut:*
* 'Introducere':2-sat#introducere
* 'Introducere':/2-sat#introducere
* 'Forme normale ale formulelor logice': 2-sat#forme-normale * 'SAT, 3-SAT, 2-SAT': 2-sat#overview-sat * 'Soluţii pentru 2-SAT': 2-sat#solutii-2-sat