Michelle Leger

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Automated Design

Top Venues

Publications

Karin M. Butler, Michelle Leger, Denis Bueno, Christopher Cuellar, Michael J. Haass, Timothy Loffredo, Geoffrey Reedy, Julian Tuminaro
Creating a User-Centric Data Flow Visualization: A Case Study. HCI (4) (2019)
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)
Morris Matsa, Eric Perkins, Abraham Heifets, Margaret Gaitatzes Kostoulas, Daniel Silva, Noah Mendelsohn, Michelle Leger
A high-performance interpretive approach to schema-directed parsing. WWW (2007)