Stellar Resolution: Multiplicatives - for the linear logician, through examples.

Published in: CoRR (2020)

Keyphrases

information retrieval
linear systems
high resolution
linear complexity
high quality
high dimensional
low resolution
training examples
closed form
linear constraints