A Counterexample to Comon's Conjecture.

Yaroslav Shitov

Published in: SIAM J. Appl. Algebra Geom. (2018)

Keyphrases

model checking
formal verification
pairwise
state space
fuzzy logic
small number
linear programming
domain independent