Clausal Congruence Closure.

Armin Biere Katalin Fazekas Mathias Fleury Nils Froleyks

Published in: SAT (2024)

Keyphrases

defeasible logic
inductive logic programming
theorem proving
constraint propagation
socio technical
temporal resolution
strictly convex
horn clauses
decision procedures
data sets
decision making
decision trees
knowledge compilation