William J. Wesley

According to our database¹, William J. Wesley authored at least 2 papers between 2022 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Algebraic and Boolean Methods for Computation and Certification of Ramsey-type Numbers

[BibT_eX]

[DOI]

PhD thesis, 2023

2022

Rado Numbers and SAT Computations.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022