Alexis Maciel
University/Research Lab: Clarkson University
Location: (Potsdam, NY)
Personal Research Web Page: http://www.clarkson.edu/~alexis
Keywords: computational complexity, circuit complexity, proof complexity, semigroup theory, SAT algorithms
Location: (Potsdam, NY)
Personal Research Web Page: http://www.clarkson.edu/~alexis
Keywords: computational complexity, circuit complexity, proof complexity, semigroup theory, SAT algorithms
Posted on: Tuesday, June 2nd, 2009
Broad Research Area: Theory / Algorithms
Research Interests:
My main research interests are in circuit complexity and proof complexity. I also have a broad interest in computational complexity, an old interest in applications of semigroup theory to circuit complexity, and a new interest in algorithms for the propositional satisfiability problem.
