Author of the publication

Symmetric Component Caching for Model Counting on Combinatorial Instances.

, , , , and . AAAI, page 3922-3930. AAAI Press, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry., and . IJCAI, page 4252-4258. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability., , and . ICDT, volume 290 of LIPIcs, page 15:1-15:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming., , and . CIKM, page 2437-2440. ACM, (2019)Faster lifting for two-variable logic using cell graphs., and . UAI, volume 161 of Proceedings of Machine Learning Research, page 1393-1402. AUAI Press, (2021)Fast Algorithms for Relational Marginal Polytopes., , , , and . IJCAI, page 4266-4274. ijcai.org, (2021)Probabilistic Query Evaluation: The Combined FPRAS Landscape., and . PODS, page 339-347. ACM, (2023)Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions., , , and . AAAI, page 10070-10079. AAAI Press, (2022)Symmetric Component Caching for Model Counting on Combinatorial Instances., , , , and . AAAI, page 3922-3930. AAAI Press, (2021)onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming., , and . Künstliche Intell., 34 (4): 501-507 (2020)Lifted inference with tree axioms., and . Artif. Intell., (November 2023)