Statistics
Publications
3
Citations
59
H-Index
3
Active since
2018
Affiliations
William Eiers is an author at University of California, Santa Barbara specializing in computing, algorithms, and computer science.
Publications per year
2018–2022
3
3
Parameterized model counting for string and numeric constraints
Abdulbaki Aydin, William Eiers, Lucas Bang et al. · 2018 · 32 citations · Full text
Subformula Caching for Model Counting and Quantitative Program Analysis
William Eiers, Seemanta Saha, Tegan Brennan et al. · 2019 · 11 citations
1–3 of 3