您当前的位置：
首页 >
文章列表页 >
基于可满足性计数的(≠,=)约束工作流鲁棒性验证
学术论文 | 更新时间：2025-07-16
上一篇|下一篇

    • 基于可满足性计数的(≠,=)约束工作流鲁棒性验证

    • Verification of(≠,=)Constrained Workflow Robustness Based on Satisfiability Counting

    • 翟治年 ，王刚 ，郑志军 ，彭艳斌 ，潘志刚 ，王中鹏
    • 电子学报 2015年43卷第11期 页码：2298-2304

    • DOI： 10.3969/j.issn.0372-2112.2015.11.024     

      中图分类号：

    移动端阅览

  •  
  •  

  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

57

浏览量

35

下载量

2

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

工作流可满足性(≠,=)计数及其#P完全性
面向近海的多基站协作通信感知一体化设计
基于RSMA的通信导航一体化信号波形设计
低空智联网下无人机集群的分层跨域协同计算机制
面向复杂环境的无人机通感一体化多阶段轨迹与资源联合优化

相关作者

翟治年
卢亚辉
余法红
周武杰
向坚
吴茗蔚
张敬淳
杨洪娟

相关机构

浙江科技学院信息与电子工程学院
深圳大学计算机学院
嘉兴学院数理与信息学院
浙江科技学院信息与电子工程学院
深圳大学计算机学院