Authors: Agrawal, M Thierauf, T

Citation: M. Agrawal et T. Thierauf, The satisfiability problem for probabilistic ordered branching programs, THEOR C SYS, 34(5), 2001, pp. 471-487

Authors: Agrawal, M Thierauf, T

Citation: M. Agrawal et T. Thierauf, The formula isomorphism problem, SIAM J COMP, 30(3), 2000, pp. 990-1009

Authors: Fenner, S Selman, AL Green, F Thierauf, T Homer, S Vollmer, H

Citation: S. Fenner et al., Complements of multivalued functions, CH J THEOR, (3), 1999, pp. 1-20