conftrace_

satisfiability testing

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

relational theory (1) symmetry breaking (1) weighted model counting (1) markov logic network (1) relational model (1) markov logic (1) lifted inference (1) map inference (1) relational reasoning (1)

Papers

Lifted Symmetry Detection and Breaking for MAP Inference NeurIPS 2015