大卫·艾维斯 查尔斯·乔丹 mts:一个用于并行化树搜索代码的轻量级框架。 279-300 2021 36 最佳方案。方法软件。 2-3 https://doi.org/101080/10556788.2019.1692344 db/journals/oms/oms36.html#AvisJ21
大卫·艾维斯 查尔斯·乔丹 lrsarith:一个小型的固定/混合算术C库。 2021 abs/2101.12425 CoRR公司 https://arxiv.org/abs/2101.12425 db/journals/corr/corr2101.html#abs-2101-12425
查尔斯·乔丹 迈克尔·乔斯维格 拉尔斯·卡斯特纳 三角形的平行枚举。 三 2018 25 电子。J.库姆。 三 https://doi.org/10.37236/7318 db/期刊/组合学/组合学25.html#JordanJK18
大卫·艾维斯 查尔斯·乔丹 mplrs:一个可扩展的并行顶点/面枚举代码。 267-302 2018 10 数学。程序。计算。 2 https://doi.org/10.1007/s12532-017-0129-y db/journals/mpc/mpc10.html#AvisJ18
查尔斯·乔丹 迈克尔·乔斯维格 拉尔斯·卡斯特纳 三角形的平行枚举。 2017 abs/1709.04746 CoRR公司 http://arxiv.org/abs/1709.04746 数据库/期刊/corr/corr1709.html#abs-1709-04746
大卫·艾维斯 查尔斯·乔丹 mts:一个用于并行化树搜索代码的轻量级框架。 2017 abs/1709.07605 CoRR公司 http://arxiv.org/abs/1709.07605 数据库/期刊/corr/corr1709.html#abs-1709-07605
查尔斯·乔丹 托马斯·齐格曼 Kahr-Moore-Wang类包含不可测试的属性。 2016 4 巴尔特。J.修订版。计算。 4 https://doi.org/10.22364/bjmc.2016..4.4.11 数据库/期刊/bjmc/bjmc4.html#JordanZ16
查尔斯·乔丹 卢卡斯·凯泽 使用描述性复杂性和SMT求解器的机器学习保证。 2016 abs/1609.02664 CoRR公司 http://arxiv.org/abs/1609.02664 db/journals/corr/corr1609.html#JordanK16
大卫·艾维斯 查尔斯·乔丹 使用mts进行反向搜索的并行框架。 2016 abs/1610.07735 CoRR公司 http://arxiv.org/abs/1610.07735 db/journals/corr/corr1610.html#AvisJ16
大卫·艾维斯 查尔斯·乔丹 一些顶点和面枚举代码的比较计算结果。 2015 abs/1510.02545 CoRR公司 http://arxiv.org/abs/1510.02545 db/journals/corr/corr1510.html#AvisJ15
大卫·艾维斯 查尔斯·乔丹 mplrs:一个可扩展的并行顶点/面枚举代码。 2015 abs/1511.06487 CoRR公司 http://arxiv.org/abs/1511.06487 db/journals/corr/corr1511.html#AvisJ15a
米可拉斯·贾诺塔 查尔斯·乔丹 威尔·克利伯 弗洛里安·朗辛 马蒂娜·塞德尔 阿伦·范·盖尔德 QBFGallery 2014:FLoC奥运会QBF比赛。 187-206 2014 9 1 J.满意。布尔模型。计算。 https://doi.org/10.3233/sat190108 db/journals/jsat/jsat9.html#JanotaJKLSG14
查尔斯·乔丹 托马斯·齐格曼 一阶公式的可测试类和不可测试类。 1557-1578 2012 78 J.计算。系统。科学。 5 https://doi.org/10.1016/j.jcss.2012.01.007 db/journals/jcss/jcss78.html#JordanZ12