Login / Signup
William J. Wesley
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Sat Solving
Propositional Satisfiability
Stochastic Local Search Algorithms
Top Venues
ISSAC
</>
Publications
</>
Yuan Chang
,
Jesús A. De Loera
,
William J. Wesley
Rado Numbers and SAT Computations.
ISSAC
(2022)