Blockchain-Enabled Distributed Computing Framework for Optimized and Secure Resource Allocation via Smart Contract Verification. IJCAI. 2025;49(20). doi:10.31449/inf.v49i20.8007