Samuel Richter

Publication Activity (10 Years)

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

Top Topics

Boolean Satisfiability

Automated Design

Top Venues

Publications

Marketa Illetskova, Alex R. Bertels, Joshua M. Tuggle, Adam Harter, Samuel Richter, Daniel R. Tauritz, Samuel A. Mulder, Denis Bueno, Michelle Leger, William M. Siever
Improving performance of CDCL SAT solvers by automated design of variable selection heuristics. SSCI (2017)