Login / Signup
Jeffrey M. Young
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 9
Top Topics
Boolean Satisfiability
Sat Problem
Stochastic Local Search
Sat Instances
Top Venues
Software Engineering
Empir. Softw. Eng.
SPLC (A)
ESEC/SIGSOFT FSE
</>
Publications
</>