• 库达布赫什语A,卡博内尔J和詹森·P. (2018). 专家网络中的鲁棒学习.智能信息系统杂志.51:2.(207-234).在线发布日期：2018年10月1日.

    https://doi.org/10.1007/s10844-018-0515-6

  • 杰夫纳H. 无模型、基于模型和通用智能第27届国际人工智能联合会议记录。(10-17).

    /doi/10.5555/3304415.3304418

  • 弗朗西斯·G,拉米雷斯·M,利波维茨基N和杰夫纳H. 纯粹的声明性动作表示被高估了第26届国际人工智能联合会议记录。(4294-4301).

    /doi/10.5555/3171837.3171887

  • 林丹宁J. 基于时钟的SMT编码的时间规划第26届国际人工智能联合会议论文集。(743-749).

    /doi/10.5555/3171642.3171748

  • 波菲尔M,Espasa J公司和维拉雷特M. 作为SMT，放松的步骤计划第26届国际人工智能联合会议记录。(563-570).

    /doi/10.5555/3171642.3171724

  • (2017). 可配置SAT解决方案挑战（CSSC）.人工智能.243：C.(1-25).在线发布日期：2017年2月1日.

    https://doi.org/10.1016/j.artint.2016.09.006

  • 耿X,欧阳D,赵X和郝S. (2016). 随机离散事件系统可诊断性测试的概率逻辑方法.人工智能的工程应用.53：C.(53-61).在线发布日期：2016年8月1日.

    https://doi.org/10.1016/j.engappai.2016.03.008

  • 蒋X,崔P,徐R,高A和朱S. (2016). 一种用于规划问题的行动导向约束满足技术.国际软件科学与计算智能杂志.8:3.(39-53).在线发布日期：2016年7月1日.

    https://doi.org/10.4018/IJSSCI.2016070103

  • 陈Z,黄Y,田杰（音）,刘X,傅克和黄T. (2015). 基于马尔可夫逻辑的亚内容级情感分析联合模型.信息科学与技术协会杂志.66:9.(1913-1922).在线发布日期：2015年9月1日.

    https://doi.org/10.1002/asi.23301

  • 林丹宁J. 时序规划中的动作并发模型第24届国际人工智能会议记录。(1659-1665).

    /doi/10.5555/2832415.2832480

  • 林丹宁J. 基于约束的时间不变量计算算法第14届欧洲人工智能逻辑会议论文集-第8761卷。(665-673).

    https://doi.org/10.1007/978-3-319-11558-0_50

  • 杰夫纳H. 用经典规划器进行非经典规划第14届欧洲人工智能逻辑会议论文集-第8761卷。(33-47).

    https://doi.org/10.1007/978-3-319-11558-03

  • Gebser M公司,Janhunen T公司和林丹宁J. SAT模图第14届欧洲人工智能逻辑会议论文集-第8761卷。(137-151).

    https://doi.org/10.1007/978-3-319-11558-0_10

  • 西德里斯A和迪莫普洛斯Y. 命题规划的启发式优化《第十四届知识表示和推理原则国际会议论文集》。(669-672).

    /doi/10.5555/3031929.3032022

  • 苏达M. 面向属性的自动化规划可达性第二十四届国际自动规划和调度会议记录。(540-541).

    /doi/10.5555/3038794.3038871

  • 吕Q,黄R,陈Y,徐Y,张伟和陈G. (2014). 基于SAT的成本敏感性时间表达规划方法.ACM智能系统与技术汇刊.5:1.(1-35).在线发布日期：2013年12月1日.

    https://doi.org/10.1145/2542182.2542200

  • Linares López C公司,吉梅内斯·S和赫尔默特·M. (2013). 自动评估规划系统.AI通信.26:4.(331-354).在线发布日期：2013年10月1日.

    /doi/10.5555/2594602.2594603

  • 蔡D和阴M. (2012). 基于SAT的规划中地标的使用.基于知识的系统.36.(146-154).在线发布日期：2012年12月1日.

    https://doi.org/10.1016/j.knosys.2012.06.011

  • Gebser M公司,考夫曼R和绍布·T. 为有效的ASP规划做好准备.正确推理。(296-310).

    /doi/10.5555/2363344.2363364

  • 萨阿德E. 使用混合概率逻辑程序学习在部分可观测马尔可夫决策过程中的最优行为第五届可扩展不确定性管理国际会议记录。(504-519).

    /doi/10.5555/2050266.2050314

  • 萨阿德E. 弥合强化学习和知识表征之间的差距第十一届欧洲不确定性推理的符号和定量方法会议记录。(472-484).

    /doi/10.5555/2026067.2026114

  • 林丹宁J. 用SAT和表达动作定义进行计划的启发式方法第二十届国际自动规划和调度会议记录。(210-217).

    /doi/10.5555/3038485.3038513

  • Gebser M公司,卡明斯基R,Knecht M公司和绍布·T. 扣第十一届逻辑编程和非单调推理国际会议论文集。(358-363).

    /doi/10.5555/2010192.2010240

  • 斯特尔·M,塔尔科特C,拉什比J,林肯·P,金·M,Cheung S公司和波乔A. 网络化网络物理系统的分级软件.形式化建模。(110-143).

    /doi/10.5555/20744591.2074601

  • 基斯曼P和Edelkamp S公司. 使用序言或依赖关系图实例化通用游戏第33届德国人工智能进展年会会议记录。(255-262).

    /doi/10.5555/18821501882184

  • Edelkamp S公司,Kellershoff M公司和苏鲁斯基D. 通过行动计划检查程序模型第六届模型检验与人工智能国际会议论文集。(32-51).

    /doi/10.5555/2008298.2008301

  • 杰夫纳H. 信息不完整的计划第六届模型检验与人工智能国际会议论文集。(1-11).

    /doi/10.5555/2008298.2008299

  • 阿尔孔A,亚历山那州N,贝尔托利P,吉迪尼C和洛根B. 作为（强或经典）规划的有限资源推理多代理系统中的计算逻辑。(77-96).

    https://doi.org/10.1007/978-3-642-02734-5_6

  • Edelkamp S公司和基斯曼P. 具有行动成本和偏好的最优符号规划第21届国际人工智能联合会议记录。(1690-1695).

    /doi/10.5555/1661445.1661717

  • 杨Q. 活动识别第21届国际人工智能联合会议记录。(20-25).

    /doi/10.5555/1661445.1661450

  • 费尔南德斯·利尔阿,莫雷特·博尼略五世和Mosqueira-Rey E公司. (2009). 表示时态知识的因果时态约束网络.应用专家系统：国际期刊.36:1.(27-42).在线发布日期：2009年1月1日.

    https://doi.org/10.1016/j.eswa.2007.09.044

  • Pham D公司,桑顿J和卫星A. (2008). 作为命题可满足性的时态推理建模与求解.人工智能.172:15.(1752-1782).在线发布日期：2008年10月1日.

    /doi/10.5555/1410889.1410961

  • 林丹宁J. 规划图与命题子句学习第十一届知识表示和推理原则国际会议论文集。(535-543).

    /doi/10.5555/303161.3031725

  • 罗宾逊N,格雷顿C,Pham D公司和卫星A. 用于规划的紧凑高效SAT编码第十八届国际自动规划和调度会议记录。(296-303).

    /doi/10.5555/3037281.3037319

  • 尼美拉一世. (2008). 稳定模型和差分逻辑.数学与人工智能年鉴.53:1-4.(313-329).在线发布日期：2008年8月1日.

    https://doi.org/10.1007/s10472-009-9118-9

  • 赫尔默特·M和马特米勒R. 选定规划域中可容许启发式函数的精度第23届全国人工智能会议记录-第2卷。(938-943).

    /doi/10.5555/1620163.1620218

  • 杜布罗文J,Junttila T公司和赫尔扬科K. 基于对象通信状态机的符号步进编码第十届IFIP WG 6.1开放式基于对象的分布式系统形式化方法国际会议论文集。(96-112).

    https://doi.org/10.1007/978-3-540-68863-1_7

  • Vander-Swalmen P公司,Dequen G公司和Krajecki M公司. 基于OpenMP的多线程可满足性求解第四届并行新时代OpenMP国际会议论文集。(146-157).

    /doi/10.5555/1789826.1789843

  • 徐莉（Xu L）,Hutter F公司,连帽H和莱顿-布朗K. (2008). 萨特齐拉.人工智能研究杂志.32:1.(565-606).在线发布日期：2008年5月1日.

    /doi/10.5555/1622673.1622687

  • 国防部长M和林丹宁J. 通过放松的步骤计划进行规划第20届澳大利亚人工智能进展联合会议记录。(244-253).

    /doi/10.5555/1781238.1781270

  • 曹L,张C,杨Q,潜水钟D,弗拉科斯M,塔内里B,基奥·E,Yu P公司,钟N,阿什拉菲M,塔尼亚尔·D,Dubossarsky E公司和格拉科W. (2007). 域驱动、可操作的知识发现.IEEE智能系统.22:4.（78-88，c3）.在线发布日期：2007年7月1日.

    https://doi.org/10.1109/MIS.2007.67

  • 卡诺维奇M和沃泽尔J. (2007). 在具有众多但相同要素的领域中，在不确定性下进行强有力的规划（通用方法）.理论计算机科学.379:1-2.(84-119).在线发布日期：2007年7月1日.

    https://doi.org/10.1016/j.tcs.2007.01.022

  • 预绞合S. 局部搜索中的变量依赖第十届满意度测试理论与应用国际会议论文集。(107-120).

    /doi/10.5555/1768142.1768156

  • 安索特吉C,拉鲁比亚J,锂电池和多发F. (2007). SAT求解器变量选择启发式中多值知识的利用.数学与人工智能年鉴.49:1-4.(191-205).在线发布日期：2007年4月1日.

    https://doi.org/10.1007/s10472-007-9062-5

  • Harel D公司和西格尔一世. 有计划且可穿越的播放第13届系统构建和分析工具和算法国际会议论文集。(485-499).

    /doi/10.5555/1763507.1763556

  • 杨Q,吴凯（Wu K）和姜瑜. (2007). 使用加权MAX-SAT从计划示例中学习行动模型.人工智能.171:2-3.(107-143).在线发布日期：2007年2月1日.

    https://doi.org/10.1016/j.artint.2006.11.005

  • 亚历山那州N,贝托利P,吉迪尼C,Jago M公司,洛根B和塞拉菲尼L. 验证基于资源的代理的空间和时间要求.模型检查和人工智能。(19-34).

    https://doi.org/10.1007/978-3-540-74128-22

  • Pham D公司,桑顿J和卫星A. 将结构构建到SAT的本地搜索中第20届人工智能国际联合会议记录。(2359-2364).

    /doi/10.5555/1625275.1625656

  • 马特穆勒R和林丹宁J. 作为命题可满足性的时间扩展目标规划第20届人工智能国际联合会议记录。(1966-1971).

    /doi/10.5555/1625275.1625593

  • 陈Y,兴Z和张伟. 命题规划的长距离互斥第20届人工智能国际联合会议记录。(1840-1845).

    /doi/10.5555/1625275.1625573

  • 林丹宁J和格雷斯汀A. 用可满足性算法进行可诊断性测试第20届人工智能国际联合会议记录。(532-537).

    /doi/10.5555/1625275.1625360

  • 杰斐逊C,米格尔A,米格尔一世和塔里木S. (2006). 英语Peg纸牌游戏的建模与求解.计算机与运筹学.33:10.(2935-2959).在线发布日期：2006年10月1日.

    https://doi.org/10.1016/j.cor.2005.01.018

  • 卡多利M,曼奇尼T和帕特里齐F. SAT作为一种有效的约束问题求解技术第16届智能系统基础国际会议记录。(540-549).

    https://doi.org/10.1007/11875604_61

  • 南斯·M,沃格尔A和阿米尔E. 推理部分观察到的动作第21届全国人工智能会议记录-第1卷。(888-893).

    /doi/10.5555/1597538.1597679

  • 布拉夫曼R和Domshlak C公司. 因子规划第21届全国人工智能会议记录-第1卷。(809-814).

    /doi/10.5555/1597538.1597667

  • Singla P公司和多明戈斯P. 关系域中的记忆有效推理第21届全国人工智能会议记录-第1卷。(488-493).

    /doi/10.5555/1597538.1597617

  • 阿尔孔A,亚历山那州N,贝托利P,吉迪尼C,洛根B和塞拉菲尼L. 基于资源的推理机的模型检查内存需求第21届全国人工智能会议记录-第1卷。(213-218).

    /doi/10.5555/1597538.1597573

  • 考茨H. 将规划分解为可满足性第21届全国人工智能会议纪要第2卷。(1524-1526).

    /doi/10.5555/1597348.1597432

  • 林丹宁J. 二元约束集的紧表示2006年ECAI 2006年会议记录：第17届欧洲人工智能会议，2006年8月29日至9月1日，意大利Riva del Garda。(143-147).

    /doi/10.5555/1567016.1567052

  • 陈Y,华B和Hsu C公司. (2006). 在SGPlan中使用子目标划分和分解的时间规划.人工智能研究杂志.26:1.(323-369).在线发布日期：2006年5月1日.

    /doi/10.5555/1622559.1622568

  • Edelkamp S公司和贾巴尔S. 大规模定向模型检查LTL第十三届模型检测软件国际会议论文集。(1-18).

    https://doi.org/10.1007/11691617_1

  • 帕拉西奥斯H和杰夫纳H. 通过编译和投影将一致性规划映射到SAT第11届西班牙人工智能协会会议记录。(311-320).

    https://doi.org/10.1007/11881216_33

  • 卡卡斯A,迈克尔·L和米勒. 模块化-ε第八届逻辑编程与非单调推理国际会议论文集。(211-226).

    https://doi.org/10.1007/11546207_17

  • 拉马钱德兰D和阿米尔E. 一阶理论的紧命题编码第19届国际人工智能联合会议记录。(1579-1580).

    /doi/10.5555/1642293.1642564

  • 考克斯J和Durfee E公司. 一种有效的多智能体计划协调算法第四届自主代理和多代理系统国际联席会议记录。(828-835).

    https://doi.org/10.1145/1082473.1082599

  • 布拉德布鲁克K,温斯坦利G,玻璃管D,福克斯J和格里菲斯R. 作为计算机化临床实践指南组成部分的人工智能规划技术第十届医学人工智能会议论文集。(171-180).

    https://doi.org/10.1007/1157770_26

  • Pham D公司,桑顿J,卫星A和伊什塔维A. 基于SAT与基于CSP的可满足性约束加权第20届全国人工智能会议记录-第1卷。(455-460).

    /doi/10.5555/1619332.1619406

  • 拉马钱德兰D和阿米尔E. 一阶理论的紧命题编码第20届全国人工智能会议记录-第1卷。(340-345).

    /doi/10.5555/1619332.1619388

  • 贝洛夫A和斯塔奇尼亚克Z. 经典命题逻辑中可满足性的替换定义第八届满意度测试理论与应用国际会议论文集。(31-45).

    https://doi.org/10.1007/11499107_3

  • Büttner M公司和林丹宁J. 行动数量受限的可满足性规划第十五届国际自动规划和调度会议记录。(292-299).

    /doi/10.5555/3037062.3037100

  • 杨Q,吴凯（Wu K）和姜瑜. 从知识不完全的计划示例中学习行动模型第十五届国际自动化规划和调度会议记录。(241-250).

    /doi/10.5555/3037062.3037093

  • 穆克尔吉P和舒伯特·L. 在状态描述中发现作为异常的规划不变量第十五届国际自动规划和调度会议记录。(223-230).

    /doi/10.5555/3037062.3037091

  • 帕拉西奥斯H,骨水泥B,达尔维什A和杰夫纳H. 通过计算编译d-DNNF表示上的模型来修剪一致性计划第十五届国际自动规划和调度会议记录。(141-150).

    /doi/10.5555/3037062.3037081

  • Edelkamp S公司. 基于模式数据库的外部符号启发式搜索第十五届国际自动规划和调度会议记录。(51-60).

    /doi/10.5555/3037062.3037070

  • 纳雷耶克A,弗洛伊德·E,福勒R,Giunchiglia E公司,高盛R,考茨H,林丹宁J和泰特美术馆A. (2005). 约束和人工智能规划.IEEE智能系统.20:2.(62-72).在线发布日期：2005年3月1日.

    https://doi.org/10.1109/MIS.2005.25

  • Wong G公司,Wong K（王凯）和杨克. 使用约束编程和故障检测求解3-SAT第四届WSEAS人工智能国际会议论文集，知识工程数据库。(1-6).

    /doi/10.5555/13363642.1363654

  • 齐默尔曼T和Kambhampati S公司. (2005). 使用内存转换规划图上的搜索.人工智能研究杂志.23:1.(533-585).在线发布日期：2005年1月1日.

    /doi/10.5555/1622503.1622515

  • 预绞合S和Bressan S公司. (2005). 中介系统中查询优化的SAT方法.数学与人工智能年鉴.43:1-4.(195-210).在线发布日期：2005年1月1日.

    https://doi.org/10.1007/s10472-004-9429-9

  • 西蒙L,勒贝雷D和美国好施集团. (2005). SAT2002竞赛.数学与人工智能年鉴.43:1-4.(307-342).在线发布日期：2005年1月1日.

    https://doi.org/10.1007/s10472-004-9424-1

  • 林丹宁J. 经典规划中的阶段转换第十四届国际自动规划和调度会议记录。(101-110).

    /doi/10.5555/3037008.3037022

  • 张伟和张X. 复杂调度问题的改进整数局部搜索第十四届国际自动规划和调度会议记录。(83-91).

    /doi/10.5555/3037008.3037020

  • 杰夫纳H. 规划图和知识汇编第十四届国际自动规划和调度会议记录。(52-62).

    /doi/10.5555/3037008.3037016

  • 勒贝雷D和西蒙L. 温哥华有55名解算员第七届满意度测试理论与应用国际会议论文集。(321-344).

    https://doi.org/10.1007/11527695_25

  • Sinopalnikov D公司. 倾斜随机k-SAT的可满足阈值第七届满意度测试理论与应用国际会议论文集。(263-275).

    https://doi.org/10.1007/11527695_21

  • Okushi F公司和范·盖尔德A. (2004). 命题模型消除中的持久性和准持久性引理.数学与人工智能年鉴.40:3-4.(373-401).在线发布日期：2004年3月1日.

    https://doi.org/10.1023/B:AMAI.0000012873.60775.ba

  • 马丁·M和杰夫纳H. (2004). 使用概念语言从规划示例中学习通用策略.应用智能.20:1.(9-19).在线发布日期：2004年1月1日.

    https://doi.org/10.1023/B:APIN.0000011138.20292.dd

  • 尤尼斯H和西蒙斯R. (2003). VHPOP（VHPOP）.人工智能研究杂志.20:1.(405-430).在线发布日期：2003年12月1日.

    /doi/10.5555/1622452.1622466

  • Gerevini A公司,萨蒂A和丝琳娜I. (2003). LPG中通过随机局部搜索和时间动作图进行规划.人工智能研究杂志.20:1.(239-290).在线发布日期：2003年12月1日.

    /doi/10.5555/1622452.1622462

  • 纳雷耶克A和Kambhampati S公司. (2003). 规划专题导论.约束条件.8:4.(335-338).在线出版日期：2003年10月1日.

    https://doi.org/10.1023/A:1025848402714

  • Gerevini A公司和丝琳娜I. (2003). 作为提议顾客服务提供商的规划.约束条件.8:4.(389-413).在线发布日期：2003年10月1日.

    https://doi.org/10.1023/A:1025846120461

  • 弗兰克·J和约翰逊A. (2003). 基于约束的属性和区间规划.约束条件.8:4.(339-364).在线发布日期：2003年10月1日.

    https://doi.org/10.1023/A:1025842019552

  • 塞拉利昂Santibáñez J. (2003). 推理策略的声明形式化.数学与人工智能年鉴.39:1-2.(61-100).在线发布日期：2003年9月1日.

    https://doi.org/10.1023/A:1024464815668

  • 尼日利亚R和Kambhampati S公司. 在线并行国家空间计划第18届国际人工智能联合会议记录。(1522-1523).

    /doi/10.5555/1630659.1630920

  • Beanie P公司,考茨H和萨巴瓦尔A. 理解从句学习的力量第18届国际人工智能联合会议记录。(1194-1201).

    /doi/10.5555/1630659.1630830

  • 洛佩兹A和巴克斯F. 通过制定CSP计划来概括GraphPlan第18届国际人工智能联合会议记录。(954-960).

    /doi/10.5555/1630659.1630797

  • 尼根达R和Kambhampati S公司. (2003). AltAltp公司.人工智能研究杂志.19:1.(631-657).在线发布日期：2003年7月1日.

    /doi/10.5555/1622434.1622451

  • Majercik S公司和利特曼M. (2003). 基于随机可满足性的不确定性应急计划.人工智能.147:1-2.(119-162).在线发布日期：2003年7月1日.

    https://doi.org/10.1016/S0004-3702（02）00379-X

  • 海菲尔N和巴克斯F. 通过CSP的一致性概率规划第十三届国际自动规划和调度会议记录。(205-214).

    /doi/10.5555/3036969.3036996

  • Gerevini A公司,丝琳娜I,萨蒂A和斯皮诺尼S. 液化石油气时间规划的局部搜索技术第十三届国际自动规划和调度会议记录。(62-71).

    /doi/10.5555/3036969.3036978

  • 林丹宁J. 过渡系统SAT表示的对称约简第十三届国际自动规划和调度会议记录。(32-40).

    /doi/10.5555/3036969.3036974

  • 阿奇利奥普塔斯D和佩雷斯Y. 随机k-SAT的阈值为2k（ln 2-O（k））第三十五届ACM计算理论年会论文集。(223-231).

    https://doi.org/10.1145/780542.780577

  • 米勒E. 通过多表示模型构建理解故事HLT-NAACL 2003文本含义研讨会会议记录-第9卷。(46-53).

    https://doi.org/10.3115/1199239.119246

  • Edelkamp S公司. Promela规划第十届模型检测软件国际会议论文集。(197-213).

    /doi/10.5555/1767111.1767124

  • 孟席斯T. (2003). 客座编辑介绍.IEEE智能系统.18:3.(18-24).在线发布日期：2003年5月1日.

    https://doi.org/10.1109/MIS-2003.1200723

  • 雷姆沙根A和特鲁厄佩姆K. (2003). MINSAT算法的编译器学习.逻辑程序设计的理论与实践.三:3.(271-286).在线发布日期：2003年5月1日.

    https://doi.org/10.1017/S14710684020162X

  • 施密德·U,米勒·M和Wysotzki F公司. 状态规划中的集成功能应用第25届德国人工智能年会论文集：人工智能进展。(144-162).

    /doi/10.5555/647621.732240

  • 阀盖B和珍珠J. 定性MDP和POMDP第十八届人工智能不确定性会议记录。(61-68).

    /doi/10.5555/207376.2073884

  • 杰夫纳H. 人工智能规划展望第十八届全国人工智能会议。(1013-1023).

    /doi/10.5555/777092.777274

  • 考茨H,霍维茨E,阮毅,戈麦斯C和塞尔曼B. 动态重启策略第十八届全国人工智能会议。(674-681).

    /doi/10.5555/777092.777196

  • 呼声H. 一种用于walkSAT的自适应噪声机制第十八届全国人工智能大会。(655-660).

    /doi/10.5555/777092.777193

  • 狄克逊H和金斯伯格M. 伪布尔可满足性求解器的推理方法第十八届全国人工智能会议。(635-640).

    /doi/10.5555/777092.777190

  • 迪尔曼E,凯塞尔曼C,梅塔G,梅什卡特L,皮尔曼L,布莱克本K,埃伦斯P,拉扎里尼A,威廉姆斯R和科兰达S. GriPhyN和LIGO，为引力波科学家构建虚拟数据网格第11届IEEE高性能分布式计算国际研讨会论文集。

    /doi/10.5555/822086.823334

  • 平山K和Yokoo M公司. 具有复杂局部问题的分布式SAT的局部搜索第一届自主智能体和多智能体系统国际联合会议记录：第3部分。(1199-1206).

    https://doi.org/10.1145/545056.545099

  • 乔希·R,纳尔逊·G和Randall K公司. 德纳利ACM SIGPLAN 2002年编程语言设计和实现会议记录。(304-314).

    https://doi.org/10.1145/512529.512566

  • 乔希·R,纳尔逊·G和Randall K公司. (2002). 德纳利.ACM SIGPLAN通知.37:5.(304-314).在线发布日期：2002年5月17日.

    https://doi.org/10.1145/543552.512566

  • Edelkamp S公司. 启发式搜索规划中的符号模式数据库第六届人工智能规划系统国际会议记录。(274-283).

    /doi/10.5555/3036884.3036921

  • 库里安J,Nayak P公司和史密斯D. 基于片段的一致性规划第六届人工智能规划系统国际会议记录。(153-162).

    /doi/10.5555/3036884.3036906

  • 卡多利M,谢尔夫·M,乔瓦纳尔迪A和乔瓦纳迪M. (2002). 一种评估量化布尔公式的算法及其实验评估.自动推理杂志.28:2.(101-142).在线发布日期：2002年2月1日.

    https://doi.org/10.1023/A:1015019416843

  • 利特曼M,Majercik S公司和皮塔西T. (2001). 随机布尔可满足性.自动推理杂志.27:3.(251-296).在线发布日期：2001年10月1日.

    https://doi.org/10.1023/A:1017584715408

  • 阀盖B和杰夫纳H. (2001). 人工智能中的规划与控制.应用智能.14:3.(237-252).在线发布日期：2001年5月9日.

    https://doi.org/10.1023/A:1011286518035

  • 亚历山那州N和洛根B. (2001). 具有优先软约束的状态空间搜索.应用智能.14:3.(263-272).在线发布日期：2001年5月9日.

    https://doi.org/10.1023/A:1011242703014

  • 沙纳汉M. 重塑活力基于逻辑的人工智能。(233-253).

    /doi公司/10.5555/566344.566362

  • 杰夫纳H. 功能条基于逻辑的人工智能。(187-209).

    /doi/10.5555/566344.566359

  • 考茨H和塞尔曼B. 对领域知识进行编码以进行倾向性规划基于逻辑的人工智能。(169-186).

    /doi/10.5555/566344.566358

  • 纳雷耶克A. 审查第二届计算机与游戏国际会议的修订论文。(414-422).

    /doi/10.5555/647481.728112

  • 普伦丁格H,石冢M和山本T. 超系统第六届环太平洋国际人工智能会议记录。(93-103).

    /doi/10.5555/1764967.1764983

  • 呼声H和Stützle T公司. (2000). SAT的局部搜索算法.自动推理杂志.24:4.(421-481).在线发布日期：2000年5月1日.

    https://doi.org/10.1023/A:1006350622830

  • 美国好施集团. (2000). SAT局部搜索算法.自动推理杂志.24:1-2.(127-143).在线发布日期：2000年2月1日.

    https://doi.org/10.1023/A:1006318521185

  • 戈麦斯C,塞尔曼B,克雷托N和考茨H. (2000). 可满足性和约束满足问题中的重尾现象.自动推理杂志.24:1-2.(67-100).在线发布日期：2000年2月1日.

    https://doi.org/10.1023/A:1006314320276

  • Rish一和Dechter R公司. (2000). 解决方案与搜索.自动推理杂志.24:1-2.(225-275).在线发布日期：2000年2月1日.

    https://doi.org/10.1023/A:1006303512524

  • 弗兰克·J. (1999). CP’98约束问题重构研讨会.人工智能杂志.20:4.(93-96).在线发布日期：1999年12月1日.

    https://doi.org/10.1609/aimag.v20i4.1483

  • 荣汉斯A和谢弗J. 依赖域的单代理搜索增强功能第16届人工智能国际联合会议记录-第1卷。(570-575).

    /doi/10.5555/1624218.1624300

  • 考茨H和塞尔曼B. 统一基于SAT和基于图形的规划第16届人工智能国际联合会议记录-第1卷。(318-325).

    /doi/10.5555/1624218.1624265

  • 沃尔夫曼S和焊缝D. LPSAT引擎及其在资源规划中的应用第16届人工智能国际联合会议记录-第1卷。(310-316).

    /doi/10.5555/1624218.1624264

  • 沃森T,球M,批次A和瑙D. 整数规划模型在人工智能规划中的应用第16届人工智能国际联合会议记录-第1卷。(304-309).

    /doi/10.5555/1624218.1624263

  • 呼声H. SAT编码、搜索空间结构和本地搜索性能第16届人工智能国际联合会议记录-第1卷。(296-302).

    /doi/10.5555/1624218.1624262

  • 考茨H和瓦尔泽J. 基于整数优化的状态空间规划第十六届全国人工智能大会和第十一届人工智能创新应用大会论文集人工智能创新应用。(526-533).

    /doi/10.5555/315149.315383

  • 黄Y,塞尔曼B和考茨H. 规划中的控制知识第十六届全国人工智能会议记录和第十一届人工智能创新应用会议记录。(511-517).

    /doi/10.5555/315149.315380

  • 焊缝D. (1999). 人工智能规划的最新进展.人工智能杂志.20:2.(93-123).网上发布日期：1999年6月1日.

    https://doi.org/10.1609/aimag.v20i2.1459

  • 洛夫兰D. (1999). 自动扣除.人工智能杂志.20:1.(77-98).在线发布日期：1999年3月1日.

    https://doi.org/10.1609/aimag.v20i1.1442

  • 延森R和Veloso M公司. 基于OBDD的通用规划今天的人工智能。(213-248).

    /doi/10.5555/1805750.1805759

  • 布莱斯·J. 不确定性下的规划综述今天的人工智能。(85-110).

    /doi/10.5555/1805750.1805754

  • Chien S公司,史密斯B,拉比杜G,马斯切托拉N和拉詹·K. (1998). 基于目标的自主航天器自动规划与调度.IEEE智能系统.13:5.(50-55).在线发布日期：1998年9月1日.

    https://doi.org/10.109/5254.722362

  • 霍蒂J和波拉克M. 在上下文中评估选项第七届理性与知识理论研讨会论文集。(249-262).

    /doi/10.5555/645876.671880

  • 阀盖B,Loerincs G公司和杰夫纳H. 一种稳健快速的规划行动选择机制第十四届全国人工智能会议和第九届人工智能创新应用会议记录。(714-719).

    /doi/10.5555/1867406.1867517

  • 约斯林·D和罗伊A. 利用提升CSP的对称性第十四届全国人工智能会议和第九届人工智能创新应用会议记录。(197-202).

    /doi/10.5555/1867406.1867437

  • 斯莱尼J和蒂埃鲍克斯S. 区块世界中的线性时间近最优规划第十三届全国人工智能会议记录-第2卷。(1208-1214).

    /doi/10.5555/1864519.1864566