Lee A. Barnett

According to our database¹, Lee A. Barnett authored at least 3 papers between 2017 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Non-clausal Redundancy Properties.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Covered Clauses Are Not Propagation Redundant.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2017

Goal-Sensitive Reasoning with Disconnection Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017