Hybrid Metaheuristic Algorithms with Dynamic Clause Weight Adjustments for Efficient Optimization of NP-Hard Problems | IEEE Conference Publication | IEEE Xplore