Unification Problems with One-Sided Distributivity.

Stefan Arnborg Erik Tidén

Published in: RTA (1985)

Keyphrases

np complete
optimization problems
theorem proving
difficult problems
neural network
real world
computer vision
website
information technology
computational biology
problems involving