BibTeX唱片：查尔斯·乔丹

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

>主页 >人员 >查尔斯·乔丹

下载为.bib文件

@文章{DBLP:journals/oms/AvisJ21，author={David Avis和查尔斯·乔丹，title={mts:用于并行化树搜索代码的轻量级框架}，journal={Optim.Methods Softw.}，体积={36}，数字={2-3}，页数={279--300}，年份＝{2021}，url={https://doi.org/101080/10556788.2019.1692344},doi={10.1080/10556788.2019.1692344}，timestamp={2021年5月21日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/oms/AvisJ21.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/corr/abs-2101-12425，author={David Avis和查尔斯·乔丹，title={lrsarith：一个小型的固定/混合算法{C}库}，日志={CoRR}，体积={abs/2101.12425}，年份＝{2021}，url={https://arxiv.org/abs/2101.12425},eprinttype={arXiv}，eprint={2101.12425}，时间戳＝{2021年2月2日星期二00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-2101-12425.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:期刊/组合学/JordanJK18，author={查尔斯·乔丹和Michael Joswig和Lars Kastner}，title={三角形的并行枚举}，期刊={Electron.J.Comb.}，体积={25}，数字={3}，页数={3}，年份={2018年}，url={https://doi.org/10.37236/7318},doi={10.37236/7318}，timestamp={2022年6月23日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/combinatics/JordanJK18.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/mpc/AvisJ18，author={David Avis和查尔斯·乔丹，title={mplrs:{A}可扩展并行顶点/面枚举代码}，journal={Math.Program.Comput.}，体积={10}，数字={2}，页数={267--302}，年份={2018年}，url={https://doi.org/10.1007/s12532-017-0129-y},doi={10.1007/S12532-017-0129-Y}，timestamp={2018年6月8日星期五01:00:00+0200}，biburl={https://dblp.org/rec/journals/mpc/AvisJ18.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/corr/abs-1709-04746，author={查尔斯·乔丹和Michael Joswig和Lars Kastner}，title={三角形的并行枚举}，日志={CoRR}，体积={abs/1709.04746}，年份={2017年}，url={http://arxiv.org/abs/1709.04746},eprinttype={arXiv}，eprint={1709.04746}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-1709-04746.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/corr/abs-1709-07605，author={David Avis和查尔斯·乔丹，title={mts:用于并行化树搜索代码的轻量级框架}，日志={CoRR}，体积={abs/1709.07605}，年份={2017年}，url={http://arxiv.org/abs/1709.07605},eprinttype={arXiv}，eprint={1709.07605}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-1709-07605.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/bjmc/JordanZ16，author={查尔斯·乔丹和托马斯·齐格曼，title={The Kahr-Moore-Wang类包含不可测试属性}，日记账={Balt.J.Mod.Comput.}，体积＝{4}，数字={4}，年份={2016年}，url={https://doi.org/10.22364/bjmc.2016..4.4.11},doi={10.22364/BJMC.2016.4.4.11}，timestamp={2020年3月18日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/bjmc/JordanZ16.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@正在进行{DBLP:conf/aaai/JordanKS16，author={查尔斯·乔丹和Will Klieber和玛蒂娜·塞德尔}，editor={Adnan Darwiche}，title＝{非CNF{QBF}用{QCIR}求解}，booktitle={Beyond NP，2016年{AAAI}研讨会论文，亚利桑那州凤凰城，美国，2016年2月12日}，series={{AAAI}技术报告}，体积={{WS-16-05}}，publisher={{AAAI}出版社}，年份={2016年}，url={http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12601},时间戳={2023年9月5日星期二08:59:27+0200}，biburl={https://dblp.org/rec/conf/aaai/JordanKS16.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/corr/JordanK16，author={查尔斯·乔丹和卢卡斯·凯撒}，title={使用描述复杂性和{SMT}解算器}，日志={CoRR}，体积={abs/1609.02664}，年份={2016年}，url={http://arxiv.org/abs/1609.02664},eprinttype={arXiv}，eprint={1609.02664}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/cor/JordanK16.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/corr/AvisJ16，author={David Avis和查尔斯·乔丹，title={使用mts}进行反向搜索的并行框架，日志={CoRR}，体积={abs/1610.07735}，年份={2016年}，url={http://arxiv.org/abs/1610.07735},eprinttype={arXiv}，eprint={1610.07735}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/AvisJ16.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/corr/AvisJ15，author={David Avis和查尔斯·乔丹，title={一些顶点和面枚举的比较计算结果代码}，日志={CoRR}，体积={abs/1510.02545}，年份={2015年}，url={http://arxiv.org/abs/1510.02545},eprinttype={arXiv}，eprint={1510.02545}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/AvisJ15.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/corr/AvisJ15a，author={David Avis和查尔斯·乔丹，title={mplrs:{A}可扩展并行顶点/面枚举代码}，日志={CoRR}，体积={abs/1511.06487}，年份={2015年}，url={http://arxiv.org/abs/1511.06487},eprinttype={arXiv}，eprint＝{1511.06487}，timestamp={2018年8月13日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/AvisJ15a.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/jsat/JanotaJKLSG14，author={Mikolas Janota和查尔斯·乔丹和Will Klieber和弗洛里安·朗辛和马蒂娜·塞德尔和Allen Van Gelder}，title={QBFGallery 2014:FLoC奥运会{QBF}比赛，journal={J.满足布尔模型计算}，体积={9}，数字={1}，页数={187--206}，年份＝{2014}，url={https://doi.org/10.3233/sat190108},doi={10.3233/SAT190108}，timestamp={2020年8月17日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/jsat/JanotaJKLSG14.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/sat/JordanKLS14，author={查尔斯·乔丹和卢卡斯·凯泽和弗洛里安·朗辛和玛蒂娜·塞德尔}，editor={Carsten Sinz和Uwe Egly}，title={MPIDepQBF:走向无知识共享的并行{QBF}求解}，booktitle={可满足性测试的理论与应用-{SAT}2014-17国际会议，作为维也纳逻辑夏季的一部分举行，{VSL}2014，奥地利维也纳，2014年7月14-17日。诉讼}，series={计算机科学讲稿}，体积={8561}，页数={430--437}，publisher={Springer}，年份={2014}，url={https://doi.org/10.1007/978-3-319-09284-3\_32},doi={10.1007/978-3-319-09284-3\32}，timestamp={2020年10月25日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/conf/sat/JordanKLS14.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/sat/JordanK13，author={查尔斯·乔丹和卢卡斯·凯撒}，editor={Matti J{\“{a}}rvisalo和Allen Van Gelder}，title={还原发现实验}，booktitle={可满足性测试的理论与应用-{SAT}2013-16国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼}，series={计算机科学讲稿}，体积＝{7962}，页数={192--207}，publisher={Springer}，年份={2013}，url={https://doi.org/10.1007/978-3642-39071-5\_15},doi={10.1007/978-3-642-39071-5\_15}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/sat/JordanK13.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@文章{DBLP:journals/jcss/JordanZ12，author={查尔斯·乔丹和托马斯·齐格曼，title={一阶公式的可测试类和不可测试类}，日志={J.计算系统科学}，体积＝{78}，数字={5}，页数={1557--1578}，年份={2012}，url={https://doi.org/10.1016/j.jcss.2012.01.007},doi={10.1016/J.JCSS.2012.01.007}，timestamp={2021年2月16日星期二00:00:00+0100}，biburl={https://dblp.org/rec/journals/jcss/JordanZ12.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/生日/CarmosinoIJ12，author={马可·卡莫西奥和尼尔·伊梅尔曼和查尔斯·乔丹，editor={Robert L.Constable和亚历山德拉·席尔瓦，title={实验描述复杂性}，booktitle={逻辑和程序语义-专为Dexter Kozen撰写的论文他的60岁生日，series={计算机科学讲稿}，体积={7230}，页数={24--34}，publisher={Springer}，年份={2012}，url={https://doi.org/10.1007/978-3-642-29485-3\_3},doi={10.1007/978-3-642-29485-3}，timestamp={2019年5月14日星期二10:00:52+0200}，biburl={https://dblp.org/rec/conf/birthday/CarmosinoIJ12.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/wollic/JordanZ11，author={查尔斯·乔丹和托马斯·齐格曼，editor={Lev D.Beklemishev和Ruy J.G.B.de Queiroz}，title={Kahr-Moore-Wang类中的不可测属性}，booktitle＝{逻辑、语言、信息和计算-第18届国际2011年5月18日至20日，美国宾夕法尼亚州费城，WoLLIC 2011研讨会。诉讼}，series={计算机科学讲稿}，体积＝{6642}，页数={176--186}，publisher={Springer}，年份={2011}，url={https://doi.org/10.1007/978-3-642-20920-8\_19} ，doi={10.1007/978-3-642-20920-8\_19}，timestamp={2021年6月1日星期二15:22:31+0200}，biburl={https://dblp.org/rec/conf/wollic/JordanZ11.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/lata/JordanZ10，author={查尔斯·乔丹和托马斯·齐格曼，编辑={阿德里安{-}霍里亚Dediu和Henning Fernanu和卡洛斯·马特{-}视频},title={用四个一阶量词表示的不可测试属性}，booktitle={语言与自动机理论与应用，第四届国际会议，{LATA}2010年，德国特里尔，2010年5月24日至28日。诉讼}，series={计算机科学讲稿}，体积={6031}，页数={333--343}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-13089-2\_28},doi={10.1007/978-3-642-13089-2\28}，timestamp={2019年5月14日星期二10:00:41+0200}，biburl={https://dblp.org/rec/conf/lata/JordanZ10.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/tamc/JordanZ10，author={查尔斯·乔丹和托马斯·齐格曼，editor={Jan Kratochv{\'{\i}}l和李昂生和Jir{\'{\i}}Fiala和彼得·科尔曼，title={Ramsey类的可测试性注释}，booktitle={计算模型的理论与应用，第七届年会，2010年6月7日至11日，捷克共和国布拉格，{TAMC}。诉讼}，series={计算机科学讲稿}，体积={6108}，页数={296--307}，publisher={Springer}，年份={2010}，url={https://doi.org/10.1007/978-3-642-13562-0\_27},doi={10.1007/978-3-642-13562-0\_27}，timestamp={2019年5月14日星期二10:00:46+0200}，biburl={https://dblp.org/rec/conf/tamc/JordanZ10.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/saga/JordanZ09，author={查尔斯·乔丹和托马斯·齐格曼，editor={Osamu Watanabe和托马斯·泽格曼}，title={用一个通用量词表示的关系属性是可测试}，booktitle={随机算法：基础与应用，第五届国际2009年10月26-28日，日本札幌，{SAGA}研讨会。诉讼}，series={计算机科学讲稿}，体积={5792}，页数={141--155}，publisher={Springer}，年份={2009}，url={https://doi.org/10.1007/978-3642-04944-6\_12},doi＝{10.1007/978-3-642-04944-6\_12}，timestamp={2019年5月14日星期二10:00:40+0200}，biburl={https://dblp.org/rec/conf/saga/JordanZ09.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

@进行中{DBLP:conf/tamc/JordanZ08，author={Skip Jordan和托马斯·齐格曼，editor={Manindra Agrawal和丁{-}朱Du和段振华和李昂生}，title={不可分辨性和一阶逻辑}，booktitle={计算模型的理论与应用，第五届国际2008年4月25日至29日，中国西安，{TAMC}会议。诉讼}，series={计算机科学讲稿}，体积={4978}，页数={94--104}，publisher={Springer}，年份={2008}，url={https://doi.org/10.1007/978-3-540-79228-4\_8},doi={10.1007/978-3-540-79228-4\_8}，timestamp={2019年5月14日星期二10:00:46+0200}，biburl={https://dblp.org/rec/conf/tamc/JordanZ08.bib},bibsource={dblp计算机科学参考书目，网址：https://dblp.org}}

服务

管理网站设置

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