Improving the variable ordering of OBDDs is NP-complete

• Automatically Finding the Right Probabilities in Bayesian Networks

  2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

  8

  citations
• A Decision Diagram Operation for Reachability

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  2

  citations
• The Power of Disjoint Support Decompositions in Decision Diagrams

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  2

  citations
• Exact stochastic constraint optimisation with applications in network analysis

  2021 Artificial Intelligence article Computer Science Constraint Satisfaction and Optimization Open access

  5

  citations
• A compositional approach to probabilistic knowledge compilation

  2021 International Journal of Approximate Reasoning article Computer Science Bayesian Modeling and Causal Inference Open access

  6

  citations
• Bayesian Inference by Symbolic Model Checking

  2020 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

  10

  citations
• Symbolic Model Checking with Sentential Decision Diagrams

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  5

  citations

7 results