Login / Signup
Lynn Pickering
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 6
Top Topics
Propositional Satisfiability
Max Sat
Takagi Sugeno
Variable Ordering
Top Venues
NAFIPS
CoRR
J. Symb. Comput.
</>
Publications
</>