Timothy Kopp

According to our database, Timothy Kopp authored at least 4 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Conditional Term Equivalent Symmetry Breaking for SAT.

Timothy Kopp, Parag Singla, Henry A. Kautz

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Toward Caching Symmetrical Subtheories for Weighted Model Counting.

Timothy Kopp, Parag Singla, Henry A. Kautz

Proceedings of the Beyond NP, 2016

2015

Lifted Symmetry Detection and Breaking for MAP Inference.

Timothy Kopp, Parag Singla, Henry A. Kautz

Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

An estimation-theoretic approach to video denoiseing.

Jingning Han, Timothy Kopp, Yaowu Xu

Proceedings of the 2015 IEEE International Conference on Image Processing, 2015