Replication-Guided Enumeration of Minimal Unsatisfiable Subsets.

Jaroslav Bendík Ivana Cerná

Published in: CP (2020)

Keyphrases

unsatisfiable cores
minimal subsets
fault tolerance
search space
fault tolerant
hidden structure
distributed databases
real time
max sat
database systems
phase transition
sat solvers
search algorithm
lower bound
group communication
replicated databases
replicated data
website
information systems