查尔斯·乔丹
人员信息
其他同名人员
SPARQL查询
优化列表
2020年–今天
2024 [i8] 大卫·阿维斯 , 查尔斯·乔丹 :
lrslib中的并行冗余消除及其在投影中的应用。 CoRR公司 abs/2406.00065 ( 2024 ) 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