Author: Tuza, Zsolt

Tuza, Zsolt: Theorem proving through depth-first test. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 33 (1992), issue 2, pp. 135-141
Caro, Yair; Tuza, Zsolt: An application of set-pair systems for multitransversals. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 30 (1989), issue 2, pp. 37-39
Tuza, Zsolt: $C_4$-saturated graphs of minimum size. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 30 (1989), issue 2, pp. 161-167

Partner of