go top

all-solution sat solver

网络释义专业释义

  全解求解器

全解求解器

基于1个网页-相关网页

  • 全解求解器 - 引用次数:4

    Improve the all-solution SAT solver on blocking clause.

    从隔离子句的角度对全解求解器进行改进。

    参考来源 - 对可满足性(SAT)问题求全解的算法研究及实现

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.

    对可满足性求解算法进行比较,从中选择效率较高适用于全解求解器的算法

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定