Paulius Dilkas. Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth. In André A. Ciré, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference, CPAIOR 2023, Nice, France, May 29 - June 1, 2023, Proceedings. Volume 13884 of Lecture Notes in Computer Science, pages 395-416, Springer, 2023. [doi]
Abstract is missing.