Qipeng Kuang, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang 0001. Bridging Weighted First Order Model Counting and Graph Polynomials. In Stefano Guerrini, Barbara König 0001, editors, 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026. Volume 363 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.