Journal of automated reasoning. 2011;46(1):81-102. doi: 10.1007/s10817-010-9176-z Q40.72025

A Framework for Certified Boolean Branch-and-Bound Optimization

一种用于认证布尔分支定界优化的框架

DOI: 10.1007/s10817-010-9176-z

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！