Joshua M. Tuggle

Publications

Citations

H-Index

2017

Active since

Affiliations

Washington University in St. Louis(Current)

Joshua M. Tuggle is an author at Washington University in St. Louis specializing in artificial intelligence, computer engineering, and computer science.

Top concepts

EngineeringSatisfiabilityComputer ScienceProgram AnalysisSoftware TestingAutomated ReasoningSystems EngineeringComputer EngineeringSoftware EngineeringComputational Science

Publications per year

2017–2017

Publications

Improving performance of CDCL SAT solvers by automated design of variable selection heuristics

Marketa Illetskova, Alex Bertels, Joshua M. Tuggle et al. · 2017 · 12 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +19

Rows per page

1–1 of 1