Disjoint Partial Enumeration without Blocking Clauses.

Giuseppe Spallitta Roberto Sebastiani Armin Biere

Published in: AAAI (2024)

Keyphrases

search space
pairwise
first order logic
record linkage
information systems
dynamic programming
background knowledge
horn clauses
expert systems