Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2302.06188
Cited By
v1
v2 (latest)
Enhancing SMT-based Weighted Model Integration by Structure Awareness
13 February 2023
Giuseppe Spallitta
Gabriele Masina
Paolo Morettin
Andrea Passerini
Roberto Sebastiani
TPM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Enhancing SMT-based Weighted Model Integration by 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
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
Roberto Sebastiani
76
0
0
03 Mar 2025
1
