Leroy Chew
Address:
Leroy Chew
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria
| Phone: | +43(1)58801–192147 |
| Email: | lchew@ac.tuwien.ac.at |
| Web: | http://www.ac.tuwien.ac.at/people/lchew/ |
Research interests
- Quantified Boolean Formulas (QBFs)
- Proof Complexity
