Co-occurring keywords · papers mentioning both
Papers
Exploiting Symmetries in MUS Computation
AAAI 2025
Learning Symmetric Rules with SATNet
NeurIPS 2022
Symmetric Component Caching for Model Counting on Combinatorial Instances
AAAI 2021
Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models (Extended Abstract)
IJCAI 2020
Generating and Sampling Orbits for Lifted Probabilistic Inference
UAI 2019
Group Equivariant Convolutional Networks
ICML 2016