A Counterexample to a Conjecture by Błocki-Zwonek.

Per Åhag R. Czyz Per Håkan Lundow

Published in: Exp. Math. (2018)

Keyphrases

model checking
formal verification
pairwise
high dimensional
lower bound
association rules
fuzzy logic
decision rules