Matching architecture to application via configurable processors: a case study with boolean satisfiability problem | IEEE Conference Publication | IEEE Xplore