Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2206.13856
Cited By
SMT-based Weighted Model Integration with Structure Awareness
28 June 2022
Giuseppe Spallitta
Gabriele Masina
Paolo Morettin
Andrea Passerini
Roberto Sebastiani
TPM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"SMT-based Weighted Model Integration with Structure Awareness"
2 / 2 papers shown
Title
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
Leander Kurscheidt
Paolo Morettin
Roberto Sebastiani
Andrea Passerini
Antonio Vergari
164
1
0
25 Mar 2025
Enhancing SMT-based Weighted Model Integration by Structure Awareness
Giuseppe Spallitta
Gabriele Masina
Paolo Morettin
Andrea Passerini
Roberto Sebastiani
TPM
63
9
0
13 Feb 2023
1
