Conor Duggan

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Boolean Satisfiability

Formal Verification

Computer Algebra

Automated Theorem Provers

Top Venues

Publications

Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). AAAI (2024)