Graph-Based Algorithms for Boolean Function Manipulation

• Quokka#: Quantum Computing with #SAT

  2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  0

  citations
• Optimizing Causal Interventions in Hybrid Bayesian Networks

  2024 Research Square preprint Computer Science Bayesian Modeling and Causal Inference Open access

  0

  citations
• Simulating Quantum Circuits by Model Counting

  2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  15

  citations
• Optimizing Causal Interventions in Hybrid Bayesian Networks

  2024 Lecture notes in networks and systems conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

  1

  citations
• LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States

  2023 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

  26

  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
• Efficient Inference in Bayesian Networks with Continuous Variables A Discretization and Knowledge Compilation Approach

  2023 SSRN Electronic Journal preprint Computer Science Bayesian Modeling and Causal Inference Open access

  2

  citations
• ParaGnosis: A Tool for Parallel Knowledge Compilation

  2023 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

  1

  citations
• Incremental Property Directed Reachability

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

  1

  citations
• BDDs Strike Back

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

  20

  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
• Symbolic Model Checking with Sentential Decision Diagrams

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

  5

  citations

13 results