Distributed software for complex Boolean tasks in circuit design | IEEE Conference Publication | IEEE Xplore