Reduction algorithms for solving large systems of logical equations

zbMath0966.03014MaRDI QIDQ1594832

R. Smith

Publication date: 5 July 2001

Published in: Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

reduction algorithmsroot findinglarge systems of logical equations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Boolean functions (06E30)

This page was built for publication: Reduction algorithms for solving large systems of logical equations