Resolution over linear equations modulo two.

Dmitry Itsykson Dmitry Sokolov

Published in: Ann. Pure Appl. Log. (2020)

Keyphrases

linear equations
gauss seidel method
high resolution
linear systems
complex valued
consequence finding
image processing
low resolution
newton method
conflict detection