停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

查尔斯·乔丹

跳过乔丹

>主页 >珀森斯

人员信息

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2021
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/oms/AvisJ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/oms/AvisJ21
大卫·艾维斯,查尔斯·乔丹:
mts：一个用于并行化树搜索代码的轻量级框架。最佳方案。方法软件。 36(2-3):279-300(2021)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2101-12425
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-12425
大卫·艾维斯,查尔斯·乔丹:
lrsarith：一个小型的固定/混合算法C库。 CoRR公司 abs/2101.12425(2021)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2018
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/组合学/JordanJK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/combinatics/JordanJK18
查尔斯·乔丹,迈克尔·乔斯维格,拉尔斯·卡斯特纳:
三角形的平行枚举。电子。J.库姆。 25(三):三(2018)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mpc/AvisJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mpc/AvisJ18
大卫·阿维斯,查尔斯·乔丹:
mplrs：一个可扩展的并行顶点/面枚举代码。数学。程序。计算。 10(2):267-302(2018)
2017
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-04746
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-04746
查尔斯·乔丹,迈克尔·乔斯维格,拉尔斯·卡斯特纳:
三角剖分的并行枚举。 CoRR公司 abs/1709.04746(2017)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1709-07605
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1709-07605
大卫·艾维斯,查尔斯·乔丹:
mts：一个用于并行化树搜索代码的轻量级框架。 CoRR公司 abs/1709.07605(2017)
2016
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/bjmc/JordanZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/bjmc/JordanZ16
查尔斯·乔丹,托马斯·齐格曼:
Kahr-Moore-Wang类包含不可测试的属性。巴尔特。J.修订版。计算。 4(4)(2016)
【c9】
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/Jordan KS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/JordanKS16
查尔斯·乔丹,威尔·克利伯,马蒂娜·塞德尔:
使用QCIR求解非CNF QBF。 AAAI研讨会：超越NP 2016
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JordanK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JordanK16
查尔斯·乔丹,卢卡斯·凯泽:
使用描述性复杂性和SMT求解器的机器学习保证。 CoRR公司 abs/1609.02664(2016)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AvisJ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AvisJ16
大卫·艾维斯,查尔斯·乔丹:
使用mts进行反向搜索的并行框架。 CoRR公司 abs/1610.07735(2016)
2015
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AvisJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AvisJ15
大卫·艾维斯,查尔斯·乔丹:
一些顶点和面枚举代码的比较计算结果。 CoRR公司 abs/1510.02545(2015)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AvisJ15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AvisJ15a
大卫·艾维斯,查尔斯·乔丹:
mplrs：一个可扩展的并行顶点/面枚举代码。 CoRR公司 abs/1511.06487(2015)
2014
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/JanotaJKLSG14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/JanotaJKLSG14
米可拉斯·贾诺塔,查尔斯·乔丹,威尔·克利伯,弗洛里安·朗辛,马蒂娜·塞德尔,阿伦·范·盖尔德:
QBFGallery 2014：FLoC奥运会QBF比赛。 J.满意。布尔模型。计算。 9(1):187-206(2014)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JordanKLS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JordanKLS14
查尔斯·乔丹,卢卡斯·凯泽,弗洛里安·朗辛,玛蒂娜·塞德尔:
MPIDepQBF：走向无知识共享的并行QBF求解。坐 2014:430-437
2013
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JordanK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JordanK13
查尔斯·乔丹,卢卡斯·凯泽:
还原发现实验。坐 2013:192-207
2012
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcss/JordanZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcss/JordanZ12
查尔斯·乔丹,托马斯·齐格曼:
一阶公式的可测试类和不可测试类。 J.计算。系统。科学。 78(5):1557-1578(2012)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/CarmosinoIJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/CarmosinoIJ12
马可·卡莫西奥,尼尔·伊梅尔曼,查尔斯·乔丹:
实验描述性复杂性。逻辑和程序语义 2012:24-34
2011
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/JordanZ11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/JordanZ11
查尔斯·乔丹,托马斯·齐格曼:
Kahr-Moore-Wang类中的不可测属性。沃尔利克 2011:176-186
2010
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lata/JordanZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lata/JordanZ10
查尔斯·乔丹,托马斯·齐格曼:
用四个一阶量词表示的不可测属性。拉丁美洲旅游协会 2010:333-343
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tamc/JordanZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tamc/JordanZ10
查尔斯·乔丹,托马斯·齐格曼:
关于拉姆齐类的可测试性的注记。 TAMC公司 2010:296-307

2000年至2009年

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saga/JordanZ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saga/JordanZ09
查尔斯·乔丹,托马斯·齐格曼:
用一个通用量词表示的关系属性是可测试的。传奇 2009:141-155
2008
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tamc/JordanZ08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tamc/约旦Z08
跳过乔丹,托马斯·齐格曼:
不可分辨性和一阶逻辑。 TAMC公司 2008:94-104

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。