Dave Sexton

Publication Activity (10 Years)

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

Top Topics

Propositional Satisfiability

Search Strategies

Top Venues

Publications

Jeremy F. Alm, Saeed Moazami, Jorge Montero-Vallejo, Linda Pham, Dave Sexton, Xiaonan Xu
with the aid of a SAT solver. CoRR (2019)