Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFOBobak PezeshkiRadu Marinescuet al.2023UAI 2023
AND/OR Branch-and-Bound for Computational Protein Design Optimizing K*Bobak PezeshkiRadu Marinescuet al.2022UAI 2022