Interactive Computations of Optimal Solutions.

Jan Krajcek, Pavel Pudlk, Jir Sgall

Browse the full MFCS paper archive.