Resolution over linear equations modulo two

Dmitry Itsykson, Dmitry Sokolov 0001. Resolution over linear equations modulo two. Annals of Pure and Applied Logic, 171(1), 2020. [doi]

Abstract

Abstract is missing.