Timothy Kopp

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Weighted Model Counting

Symmetry Breaking

Top Venues

AAAI Workshop: Beyond NP

Publications

Timothy Kopp, Parag Singla, Henry A. Kautz
Conditional Term Equivalent Symmetry Breaking for SAT. AAAI Workshops (2017)
Timothy Kopp, Parag Singla, Henry A. Kautz
Toward Caching Symmetrical Subtheories for Weighted Model Counting. AAAI Workshop: Beyond NP (2016)
Jingning Han, Timothy Kopp, Yaowu Xu
An estimation-theoretic approach to video denoiseing. ICIP (2015)
Timothy Kopp, Parag Singla, Henry A. Kautz
Lifted Symmetry Detection and Breaking for MAP Inference. NIPS (2015)