Computational Complexity
Subareas:
Publications
Why Are There So Many Loop Formulas? 2006
Vladimir Lifschitz and Alexander Razborov, ACM Transactions on Computational Logic, 7:261-268, 2006.
Labs
Texas Action Group