工作流可满足性(≠,=)计数及其#P完全性

您当前的位置：

首页 >

文章列表页 >

工作流可满足性(≠,=)计数及其#P完全性

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 工作流可满足性(≠,=)计数及其#P完全性
- Counting Workflow Satisfiability(≠,=) and Its #P Completeness
- 翟治年，卢亚辉，余法红，周武杰，向坚，吴茗蔚
- 电子学报 2017年45卷第3期页码：605-611
- 作者机构：
  1. 浙江科技学院信息与电子工程学院,浙江,杭州,310023
  2. 深圳大学计算机学院,广东,深圳,518060
  3. 嘉兴学院数理与信息学院,浙江,嘉兴,314001
  4. 浙江科技学院信息与电子工程学院,浙江,杭州,310023
  5. 深圳大学计算机学院,广东,深圳,518060
  6. 嘉兴学院数理与信息学院,浙江,嘉兴,314001
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61502429，No.61302112）;浙江省自然科学基金 (No.LQ15F020010，No.LY16F020027）;浙江省教育厅科研项目 (No.Y201533771）;钱江人才计划 (No.QJD1402023）
- DOI： 10.3969/j.issn.0372-2112.2017.03.015
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

156

浏览量

396

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

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

面向近海的多基站协作通信感知一体化设计

基于RSMA的通信导航一体化信号波形设计

低空智联网下无人机集群的分层跨域协同计算机制

面向复杂环境的无人机通感一体化多阶段轨迹与资源联合优化

相关作者

翟治年

王刚

郑志军

彭艳斌

潘志刚

王中鹏

张敬淳

杨洪娟

相关机构

浙江科技学院信息与电子工程学院

中国核电工程有限公司河北分公司民用工程研究设计所

哈尔滨工业大学通信技术研究所