Left-Linear Completion with AC Axioms.

Johannes Niederhauser Nao Hirokawa Aart Middeldorp

Published in: CoRR (2024)

Keyphrases

machine learning
search algorithm
linear systems
linear complexity
image segmentation
closed form
piecewise linear
quadratic programming
simple linear