An application of boolean complexity to separation problems in bounded arithmetic (1994)

by Samuel R. Buss , Jan Krajlcek
Venue:Proc. London Math. Society
Citations:54 - 15 self