Lee A. Barnett

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 3

Top Topics

Consequence Finding

Automated Reasoning

Wave Propagation

Top Venues

Publications

Lee A. Barnett, Armin Biere
Non-clausal Redundancy Properties. CADE (2021)
Lee A. Barnett, David M. Cerna, Armin Biere
Covered Clauses Are Not Propagation Redundant. IJCAR (1) (2020)
Lee A. Barnett
Goal-Sensitive Reasoning with Disconnection Tableaux. TABLEAUX (2017)