本研究首次基于VeriPB证明格式，解决了多目标最大满足问题中的可信证据缺乏问题，展示了高效且可扩展的证明日志记录方法及其潜在影响。
本研究首次基于VeriPB证明格式解决了多目标最大满足问题中的可信证据缺乏问题。
研究展示了如何利用VeriPB中的优先顺序为MO-MaxSAT算法提供认证。
实现了高效且可扩展的证明日志记录方法及其潜在影响。
完成下面两步后，将自动完成登录并继续当前操作。
