发布文献求助

Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form

关联方 合取范式 命题公式 析取范式 枚举 计算机科学 布尔函数 集合（抽象数据类型） 命题演算 素数（序理论） 真量化布尔公式 编码（内存） 布尔数据类型 离散数学 算术 算法 数学 理论计算机科学 布尔表达式 命题变量 组合数学 程序设计语言 人工智能 描述逻辑 中间逻辑
作者
Saïd Jabbour,João Marques‐Silva,Lakhdar Saïs,Yakoub Salhi
出处
期刊：Lecture Notes in Computer Science [Springer Science+Business Media]
日期：2014-01-01 卷期号：: 152-165 被引量：19
标识
DOI：10.1007/978-3-319-11558-0_11
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
科研通AI6.2的应助被光亮熠彤采纳，获得10
刚刚
刚刚
任性苞络发布了新的文献求助10
刚刚
怕黑的尔安完成签到，获得积分10
刚刚
byjhu发布了新的文献求助30
刚刚
1秒前
飞快的迎夏的应助被两张采纳，获得10
1秒前
orixero的应助被hhh采纳，获得10
1秒前
1秒前
1秒前
求助求助发布了新的文献求助10
1秒前
2秒前
xyh完成签到，获得积分10
2秒前
羊粑粑发布了新的文献求助10
2秒前
3秒前
打打的应助被tY采纳，获得10
3秒前
妙木仙发布了新的文献求助10
4秒前
怕孤独的寻芹完成签到，获得积分10
4秒前
DLL关闭了DLL的文献求助
4秒前
4秒前
refuse完成签到，获得积分10
4秒前
yu完成签到 ，获得积分10
4秒前
一颗星完成签到，获得积分10
5秒前
5秒前
5秒前
5秒前
顾矜的应助被毛毛毛毛毛采纳，获得10
6秒前
时尚寄真发布了新的文献求助10
6秒前
FashionBoy的应助被车车采纳，获得30
6秒前
XiaoAi发布了新的文献求助10
6秒前
wuyanzu完成签到，获得积分10
7秒前
7秒前
HC发布了新的文献求助10
7秒前
任性苞络完成签到，获得积分10
7秒前
guaanyi完成签到，获得积分10
8秒前
张传强发布了新的文献求助10
8秒前
8秒前
求助求助完成签到，获得积分10
8秒前
fzetai完成签到，获得积分10
8秒前
科研通AI6.4的应助被TYKI采纳，获得10
8秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Aspects of Post-SPE Phonology 2000
Performance standards for antimicrobial disk and dilution susceptibility tests for bacteria isolated from animals 888
Rosenblum, Global Change Biology 800
Holistic Discourse Analysis, Second Edition by Robert E. Longacre (2012-09-10) 666
Berberine regulates the TLR4 signaling pathway to suppress hypoxia-induced proliferation and migration of pulmonary arterial smooth muscle cells 530
Organizational Behavior 510
热门求助领域 （近24小时）
化学 材料科学 医学 生物 计算机科学 工程类 纳米技术 物理 有机化学 化学工程 内科学 生物化学 复合材料 催化作用 心理学 细胞生物学 无机化学 电极 光电子学 人工智能
热门帖子
关注 科研通微信公众号，转发送积分 7860745
求助须知：如何正确求助？哪些是违规求助？ 9378784
关于积分的说明 20718846
捐赠科研通 7460218
什么是DOI，文献DOI怎么找？ 3347303
关于科研通互助平台的介绍 2489208
邀请新用户注册赠送积分活动 2372002
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 帮助中心 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通