On the existence of very difficult satisfiability problem

Bulletin of the Section of Logic, Tom 21, Numer 4 (1992) s. 122-133
Newton C.A. da Costa, F.A. Doria

 

do góry