Timothy Kopp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2015–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | AAAI | Conditional Term Equivalent Symmetry Breaking for SAT. | Timothy Kopp, Parag Singla, Henry A. Kautz |
| 2016 | AAAI | Toward Caching Symmetrical Subtheories for Weighted Model Counting. | Timothy Kopp, Parag Singla, Henry A. Kautz |
| 2015 | ICIP | An estimation-theoretic approach to video denoiseing. | Jingning Han, Timothy Kopp, Yaowu Xu |