Solving large systems of logical equations
Zakrevskij, Arkadij D
2013
http://www.ester.ee/record=b3000573*est