SDSB:难满足性小基准

“Small Difficult Satisfiability Benchmarks”这一术语常被缩写为SDSB,旨在简化书写和日常使用。该术语主要应用于综合计算领域,目前尚未被系统性地分类。其对应的中文翻译是“难满足性小基准”,通常用于描述一类规模较小但计算复杂度较高的逻辑可满足性测试案例。

Small Difficult Satisfiability Benchmarks具体释义

  • 英文缩写:SDSB
  • 英语全称:Small Difficult Satisfiability Benchmarks
  • 中文意思:难满足性小基准
  • 中文拼音:nán mǎn zú xìng xiǎo jī zhǔn
  • 相关领域sdsb 未分类的

Small Difficult Satisfiability Benchmarks的英文发音