Automated Reasoning Group at University of California, Irvine
Software repositories from automated reasoning group at UCI
Popular repositories Loading
-
-
uai23-KstarMAP-benchmarks
uai23-KstarMAP-benchmarks PublicBenchmarks used for evaluation in the work "Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO" accepted to UAI 2023.
-
gmid2-public
gmid2-public PublicForked from junkyul/gmid2-public
Code for paper Submodel Decomposition Bounds for Influence Diagrams (AAAI 2021)
Python
Repositories
Showing 10 of 23 repositories
- uai23-KstarMAP-benchmarks Public
Benchmarks used for evaluation in the work "Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO" accepted to UAI 2023.
dechterlab/uai23-KstarMAP-benchmarks’s past year of commit activity - merlin Public Forked from radum2275/merlin
An extensible C++ library for probabilistic inference in graphical models.
dechterlab/merlin’s past year of commit activity