An Algorithm to Compute Minimal Unsatisfiable Subsets for a Decidable Fragment of First-Order Formulas.

Huiyuan Xie Jie Luo

Published in: ICTAI (2016)

Keyphrases

computational complexity
first order logic
dynamic programming
np hard
preprocessing
learning algorithm
objective function
similarity measure
worst case
expectation maximization
randomly generated
optimal solution
k means
higher order
segmentation algorithm
genetic algorithm
expressive power