Lee A. Barnett

 
  • Email: lee.barnett [at] jku.at

Research Interests

  • Automated theorem proving, SAT

Current Position


Education

  • MSc in Computer Science (University of North Carolina at Chapel Hill)
  • BSc in Mathematics, Linguistics (Tulane University)

Publications

  1. Lee A. BarnettGoal-Sensitive Reasoning with Disconnection Tableaux. TABLEAUX 2017: 163-174.