Weighted Model Counting in the two variable fragment with Cardinality
Constraints: A Closed Form Formula

v1v2v3v4v5v6v7v8 (latest)

Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula

25 September 2020

Luciano Serafini

ArXiv (abs)PDF HTML

Papers citing "Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula"

Title
No papers