research
∙
06/07/2023
Top-Down Knowledge Compilation for Counting Modulo Theories
Propositional model counting (#SAT) can be solved efficiently when the i...
share
research
∙
02/13/2023
Enhancing SMT-based Weighted Model Integration by Structure Awareness
The development of efficient exact and approximate algorithms for probab...
research
∙
06/28/2022
SMT-based Weighted Model Integration with Structure Awareness
Weighted Model Integration (WMI) is a popular formalism aimed at unifyin...
research
∙
07/26/2020
Efficient Generation of Structured Objects with Constrained Adversarial Networks
Generative Adversarial Networks (GANs) struggle to generate structured o...
research
∙
02/28/2020
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing
Weighted model integration (WMI) is a very appealing framework for proba...
research
∙
09/20/2019