Formal Verification and Boolean Satisfiability

Servít, M., Zamazal, J.

SERVÍT, M. and J. ZAMAZAL. Formal Verification and Boolean Satisfiability. In: CTU Seminar 94. CTU Seminar 94, Praha, 1994-01-17/1994-01-20. Praha: České vysoké učení technické v Praze, 1994, vol. B, pp. 35-36.