The Implicating Vector Problem and its Applications to Probabilistic and Linear Automata.

N. Z. Gabbasov

Browse the full FCT paper archive.