Gauthier Pezzoli, Gilles Pesant. A Weighted Counting Algorithm for the Circuit Constraint. 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 370-377, Springer, 2023. [doi]
Abstract is missing.