Joshua Bax

According to our database¹, Joshua Bax authored at least 4 papers between 2013 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Beagle - A Hierarchic Superposition Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-25, 2015

2014

A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

Finite Quantification in Hierarchic Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Proving Infinite Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013