Marketa Illetskova is an author at Sandia National Laboratories 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
1
1
Rows per page
1–1 of 1