Some examples of different methods of formal proofs with generalizations of the satisfiability definition.

Juliusz Reichbach

Published in: Notre Dame J. Formal Log. (1969)

Keyphrases

formal proofs
significant improvement
machine learning methods
preprocessing
association rules
np complete
neural network
artificial intelligence
computer vision
evolutionary algorithm
medical images