Solution reuse in partial MAX-SAT problem | IEEE Conference Publication | IEEE Xplore