Resolution over Linear Equations and Multilinear Proofs

Ran Raz Iddo Tzameret

Published in: CoRR (2007)

Keyphrases

linear equations
higher order
linear systems
complex valued
theorem proving
rows and columns
high resolution
gauss seidel method
search algorithm
expert systems
low resolution
real valued