A Knowledge Compilation Map

• Quokka#: Quantum Computing with #SAT

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

  0

  citations
• Automated Reasoning in Quantum Circuit Compilation

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

  4

  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
• 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
• 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

7 results