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.
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 - CVO Public
Award winning code produced by Kalev Kask and William Lam to produce viable variable orderings for graphical models.
dechterlab/CVO’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…