Solving large systems of logical equationsZakrevskij, Arkadij D2013 http://www.ester.ee/record=b3000573*est