查尔斯·乔丹
人员信息
其他同名人员
优化列表
2020年–今天
2021 [j6] 大卫·艾维斯 , 查尔斯·乔丹 以下为:
mts:一个用于并行化树搜索代码的轻量级框架。 最佳方案。 方法软件。 36 ( 2-3 ) 以下为: 279-300 ( 2021 ) [i7] 大卫·艾维斯 , 查尔斯·乔丹 以下为:
lrsarith:一个小型的固定/混合算术C库。 CoRR公司 abs/2101.12425 ( 2021 )
2010 – 2019
2018 [j5] 查尔斯·乔丹 , 迈克尔·乔斯维格 , 拉尔斯·卡斯特纳 以下为:
三角剖分的并行枚举。 电子。 J.库姆。 25 ( 三 ) 以下为: 三 ( 2018 ) [j4] 大卫·艾维斯 , 查尔斯·乔丹 以下为:
mplrs:一个可扩展的并行顶点/面枚举代码。 数学。 程序。 计算。 10 ( 2 ) 以下为: 267-302 ( 2018 ) 2017 [i6] 查尔斯·乔丹 , 迈克尔·乔斯维格 , 拉尔斯·卡斯特纳 以下为:
三角剖分的并行枚举。 CoRR公司 abs/1709.04746 ( 2017 ) [i5] 大卫·艾维斯 , 查尔斯·乔丹 以下为:
mts:一个用于并行化树搜索代码的轻量级框架。 CoRR公司 abs/1709.07605 ( 2017 ) 2016 [j3] 查尔斯·乔丹 , 托马斯·齐格曼 以下为:
Kahr-Moore-Wang类包含不可测试的属性。 巴尔特。 J.修订版。 计算。 4 ( 4 ) ( 2016 ) 【c9】 查尔斯·乔丹 , 威尔·克利伯 , 马蒂娜·塞德尔 以下为:
使用QCIR求解非CNF QBF。 AAAI研讨会:超越NP 2016 [i4] 查尔斯·乔丹 , 卢卡斯·凯泽 以下为:
使用描述性复杂性和SMT求解器的机器学习保证。 CoRR公司 abs/1609.02664 ( 2016 ) [i3] 大卫·艾维斯 , 查尔斯·乔丹 以下为:
使用mts进行反向搜索的并行框架。 CoRR公司 abs/1610.07735 ( 2016 ) 2015 [i2] 大卫·艾维斯 , 查尔斯·乔丹 以下为:
一些顶点和面枚举代码的比较计算结果。 CoRR公司 abs/1510.02545 ( 2015 ) [i1] 大卫·艾维斯 , 查尔斯·乔丹 以下为:
mplrs:一个可扩展的并行顶点/面枚举代码。 CoRR公司 abs/1511.06487 ( 2015 ) 2014 [注2] 米可拉斯·贾诺塔 , 查尔斯·乔丹 , 威尔·克利伯 , 弗洛里安·朗辛 , 马蒂娜·塞德尔 , 阿伦·范·盖尔德 以下为:
QBFGallery 2014:FLoC奥运会QBF比赛。 J.满意。 布尔模型。 计算。 9 ( 1 ) 以下为: 187-206 ( 2014 ) 【c8】 查尔斯·乔丹 , 卢卡斯·凯泽 , 弗洛里安·朗辛 , 马蒂娜·塞德尔 以下为:
MPIDepQBF:走向无知识共享的并行QBF求解。 坐 2014 以下为: 430-437 2013 【c7】 查尔斯·乔丹 , 卢卡斯·凯泽 以下为:
还原发现实验。 坐 2013 以下为: 192-207 2012 [j1] 查尔斯·乔丹 , 托马斯·齐格曼 以下为:
一阶公式的可测试类和不可测试类。 J.计算。 系统。 科学。 78 ( 5 ) 以下为: 1557-1578 ( 2012 ) 【c6】 马可·卡莫西奥 , 尼尔·伊梅尔曼 , 查尔斯·乔丹 以下为:
实验描述复杂性。 逻辑与程序语义学 2012 以下为: 24-34 2011 【c5】 查尔斯·乔丹 , 托马斯·齐格曼 以下为:
Kahr-Moore-Wang类中的不可测属性。 沃尔利克 2011 以下为: 176-186 2010 【c4】 查尔斯·乔丹 , 托马斯·齐格曼 以下为:
用四个一阶量词表示的不可测属性。 拉丁美洲旅游协会 2010 以下为: 333-343 【c3】 查尔斯·乔丹 , 托马斯·齐格曼 以下为:
关于拉姆齐类的可测试性的注记。 TAMC公司 2010 以下为: 296-307
2000 – 2009
2009 [c2] 查尔斯·乔丹 , 托马斯·齐格曼 以下为:
用一个通用量词表示的关系属性是可测试的。 传奇 2009 以下为: 141-155 2008 【c1】 跳过乔丹 , 托马斯·齐格曼 以下为:
不可分辨性和一阶逻辑。 TAMC公司 2008 以下为: 94-104