Boolean equations and algorithms for their solutions

Project Detail: IRCC funded project on Boolean equations and methods of solution. The project is aimed at developing scalable parallel computational algorithms for solving large systems of Boolean equations arising in applications such as cryptology and Boolean dynamical systems.