On the Strength of Uniqueness Quantification in Primitive Positive Formulas.

Victor Lagerkvist Gustav Nordh

Published in: CoRR (2019)

Keyphrases

sufficient conditions
positive and negative
positively correlated
high level
quantitative evaluation
mathematical formulas
databases
computer vision
positive feedback
positive samples