Scalable parallel solver of boolean satisfiability problems | IEEE Conference Publication | IEEE Xplore