Diferente pentru 2-sat intre reviziile #60 si #61

Diferente intre titluri:

Problema satisfiabilităţii formulelor logice de ordinul doi
Problema satisfiabilității formulelor logice de ordinul doi

Nu exista diferente intre continut.

Nu exista diferente intre securitate.

Topicul de forum nu a fost schimbat.