A scalable, loadable custom programmable logic device for solving Boolean satisfiability problems | IEEE Conference Publication | IEEE Xplore