Evaluation of propositional formulas from the viewpoint of computational complexity

Bulletin of the Section of Logic, Tom 17, Numer 2 (1988) s. 62-66
Ivan Kramosil

 

do góry