本文探讨了提高局部搜索算法效率的方法，提出了新的局部搜索算法SPB-MaxSAT和加权布尔优化框架，实验结果表明其性能优于现有算法。此外，介绍了多目标PBO框架及其在个性化设计任务中的应用，验证了其有效性和收敛性。