On the Strength of Uniqueness Quantification in Primitive Positive Formulas.

Victor Lagerkvist Gustav Nordh

Published in: MFCS (2019)

Keyphrases

positive and negative
database
higher level
positive feedback
mathematical formulas
genetic algorithm
computer vision
hidden markov models
constraint satisfaction problems
positive or negative