A Weighted Counting Algorithm for the Circuit Constraint. - Gauthier Pezzoli; Gilles Pesant (CPAIOR, 2023)