New lower bounds on the formula size of
β
Ute SchΓΌrfeld
π
Article
π
1983
π
Springer-Verlag
π
English
β 434 KB