Proof Systems for Tensor-based Model Counting.

Olaf Beyersdorff, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, Christoph Staudt

Browse the full AAAI paper archive.