conftrace_

weighted maxsat formula

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical rule learning (1) rule verification (1) weighted formula (1) differentiable maxsat solver (1) logical rule (1) maxsat solver (1) propositional logic (1) differentiable learning (1)

Papers

Learning Reliable Logical Rules with SATNet NeurIPS 2023