SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Graspg – An extension to Grasp2018 based on Configuration State Function Generators
扩展(谓词逻辑)
国家(计算机科学)
功能(生物学)
数学
计算机科学
域代数上的
纯数学
算法
程序设计语言
生物
进化生物学
作者
R. Si,
Yanting Li,
Kai Wang,
Chongyang Chen,
Gediminas Gaigalas,
Michel Godefroid,
Per Jönsson
出处
期刊:
Computer Physics Communications
[Elsevier BV]
日期:2025-04-01
卷期号:: 109604-109604
标识
DOI:10.1016/j.cpc.2025.109604
求助该文献
相关文献
科研通AI机器人已完成分析
对不起,本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
淡淡又蓝
发布了新的
文献求助
10
刚刚
KevinT
上传了
应助文件
刚刚
lynn
关闭了
lynn
的
文献求助
1秒前
cy0824
发布了新的
文献求助
10
1秒前
Bobo
发布了新的
文献求助
10
1秒前
顺心的姒
完成签到
,获得积分
10
2秒前
糊涂的海蓝
完成签到
,获得积分
10
2秒前
桐桐
上传了
应助文件
2秒前
科研通AI6.4
上传了
应助文件
2秒前
JamesPei
上传了
应助文件
3秒前
芊芊
发布了新的
文献求助
10
3秒前
噜噜宝贝
发布了新的
文献求助
10
4秒前
乐乐
的
应助
被
靳士金
采纳,获得
10
4秒前
杜杜9580
发布了新的
文献求助
10
4秒前
李卓
发布了新的
文献求助
10
4秒前
元狩
完成签到
,获得积分
10
5秒前
卷卷
完成签到
,获得积分
10
5秒前
小77
发布了新的
文献求助
10
5秒前
不想懂得
完成签到,获得积分
10
6秒前
冯冯
完成签到
,获得积分
10
6秒前
zzsossos
发布了新的
文献求助
10
6秒前
LYSM
发布了新的
文献求助
10
7秒前
我是老大
上传了
应助文件
7秒前
研途顺利
上传了
应助文件
7秒前
Orange
的
应助
被
琰sky
采纳,获得
10
7秒前
领导范儿
上传了
应助文件
7秒前
科研通AI6.2
上传了
应助文件
8秒前
CodeCraft
上传了
应助文件
9秒前
kai9712
上传了
应助文件
9秒前
一颗西柚
完成签到,获得积分
10
9秒前
无语的白易
发布了新的
文献求助
10
9秒前
脑洞疼
的
应助
被
糖糖
采纳,获得
10
9秒前
舒桐啊
完成签到,获得积分
20
9秒前
桐桐
上传了
应助文件
9秒前
orixero
上传了
应助文件
10秒前
Orange
的
应助
被
醉了吗
采纳,获得
30
11秒前
慕青
的
应助
被
虚幻采枫
采纳,获得
10
11秒前
JamesPei
的
应助
被
文斯
采纳,获得
10
11秒前
wch
完成签到
,获得积分
20
12秒前
COCO
发布了新的
文献求助
10
12秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Inorganic Chemistry Eighth Edition
1200
Free parameter models in liquid scintillation counting
1000
Anionic polymerization of acenaphthylene: identification of impurity species formed as by-products
1000
Standards for Molecular Testing for Red Cell, Platelet, and Neutrophil Antigens, 7th edition
1000
HANDBOOK OF CHEMISTRY AND PHYSICS 106th edition
1000
ASPEN Adult Nutrition Support Core Curriculum, Fourth Edition
1000
热门求助领域
(近24小时)
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
物理
内科学
复合材料
催化作用
物理化学
光电子学
电极
细胞生物学
基因
无机化学
热门帖子
关注
科研通微信公众号,转发送积分
6310995
求助须知:如何正确求助?哪些是违规求助?
8127316
关于积分的说明
17029804
捐赠科研通
5368521
什么是DOI,文献DOI怎么找?
2850463
邀请新用户注册赠送积分活动
1828062
关于科研通互助平台的介绍
1680654
今日热心研友
浮游
459
2520
无极微光
225
4780
乐观秋荷
259
1920
dew
155
1600
大力的灵雁
2800
小小
68
2120
麦子
152
630
学术文献互助
64
1390
活力友绿
174
乐空思
1670
sadsa
51
1050
lizishu
42
940
鸟兽兽
1300
贪玩的秋柔
43
790
pcr163
1200
pluto
49
690
Whim
52
640
Criminology34
107
畔畔
1020
风吹麦田
800
注:热心度 = 本日应助数 + 本日被采纳获取积分÷10