Approximate Inference in Logical Credal Networks
- Radu Marinescu
- Haifeng Qian
- et al.
- 2023
- IJCAI 2023
Publications
Date
Featured collections
Popular topics
34 results for Radu Marinescu
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
- Bobak Pezeshki
- Radu Marinescu
- et al.
- 2023
- UAI 2023
AutoDOViz: Human-Centered Automation for Decision Optimization
- Daniel Karl I. Weidele
- Shazia Afzal
- et al.
- 2023
- IUI 2023
AND/OR Branch-and-Bound for Computational Protein Design Optimizing K*
- Bobak Pezeshki
- Radu Marinescu
- et al.
- 2022
- UAI 2022
Counting Vertex-Disjoint Shortest Paths in Graphs
- Adi Botea
- Massimiliano Mattetti
- et al.
- 2021
- SoCS 2021
On the complexity of quantum circuit compilation
- Adi Botea
- Akihiro Kishimoto
- et al.
- 2018
- SoCS 2018
Stochastic anytime search for bounding marginal map
- Radu Marinescu
- Rina Dechter
- et al.
- 2018
- IJCAI 2018
Efficient optimal search under expensive edge cost computation
- Masataro Asai
- Akihiro Kishimoto
- et al.
- 2017
- IJCAI 2017
Applying search based probabilistic inference algorithms to probabilistic conformant planning: Preliminary results
- Junkyu Lee
- Radu Marinescu
- et al.
- 2016
- ISAIM 2016