Beyersdorff, Olaf, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, and Christoph Staudt. “Proof Systems for Tensor-Based Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 17 (March 14, 2026): 14175–14183. Accessed May 15, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/38430.