On Satisfiability of Nominal Subtyping with Variance.

Aleksandr Misonizhnik Dmitry Mordvinov

Published in: ECOOP (2019)

Keyphrases

satisfiability problem
standard deviation
computational complexity
phase transition
propositional logic
np complete
covariance matrix
satisfiability testing
data sets
machine learning
genetic algorithm
search engine
correlation coefficient
symmetry breaking
low variance