Consequence Operations Based on Hypergraph Satisfiability.

Published in: Stud Logica (1997)

Keyphrases

satisfiability problem
np complete
computational complexity
higher order
image processing
pairwise
propositional logic
hypergraph model
data sets
neural network
genetic algorithm
orders of magnitude
high order
phase transition
terminological reasoning