An Efficient, Scalable Hardware Engine for Boolean SATisfiability | IEEE Conference Publication | IEEE Xplore