conftrace_

weighted formula

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical rule learning (1) weighted maxsat formula (1) rule verification (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