Dechter, Rina
114 publications
UAI
2023
Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
IJCAI
2016
Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models
UAI
2012
A Case Study in Complexity Estimation: Towards Parallel Branch-and-Bound over Graphical Models