|
|
|
|
|
Gábor Kusper and Csaba Biró
In a previous paper we defined the black and white SAT problem which has exactly two solutions, where each variable is either true or false. We showed that black and white 2-SAT problems represent strongly connected directed graphs. We presented also the...
ver más
|
|
|
|
|