- 1
- L.Baptista和J.P.Marques-Silva，随机化与学习在现实世界可满足性实例中的相互作用,AAAI计算中利用概率和不确定性研讨会（AAAI-LPUC），2000年7月。
- 2
- J.P.马尔克斯-西尔瓦，选择问题实例评估可满足性算法,ECAI人工智能经验方法研讨会（ECAI-EMAI）2000年8月。
- 三
- J.P.马尔克斯-西尔瓦，命题可满足性的代数化简技术,第六届约束规划原理与实践国际会议2000年9月。
- 4
- L.Baptista和J.P.Marques-Silva，使用随机化和学习求解可满足性的硬实世界实例,第六届约束规划原理与实践国际会议2000年9月。
- 5
- I.Lync、L.Baptista和J.P.Marques-Silva，可满足性的随机系统搜索算法,LICS满意度测试理论与应用研讨会（LICS-SAT）2001年6月。
- 6
- G.杨森，一种无指针BDD包的设计,第十届逻辑与合成国际研讨会（IWLS'01）2001年6月。
- 7
- M.W.Moskewicz、C.F.Madigan、Y.Zhao、L.Zhang和S.Malik，Chaff：设计一个高效的SAT解算器,第38届设计自动化会议（DAC’01）2001年6月，第530-535页。
- 8
- L.Baptista、I.Lync和J.P.Marques-Silva，满足性的完整搜索重启策略,IJCAI'01随机搜索算法研讨会（IJCAI-SSA'01）2001年8月。
- 9
- L.Zhang、C.F.Madigan、M.W.Moskewicz和S.Malik，布尔可满足性求解器中的高效冲突驱动学习,国际计算机辅助设计会议（ICCAD’01）2001年11月，第279-285页。
- 10
- D.Wang、E.Clarke、Y.Zhu、J.Kukula、，使用割宽改进符号模拟和布尔可满足性,IEEE国际高级设计验证和测试研讨会（HLDVT’01）2001年11月。
- 11
- I.Lync和J.P.Marques-Silva，命题可满足性中简化与搜索的相互作用,CP’01建模和问题制定研讨会（Formul’01）2001年11月。
- 12
- E.A.Hirsch和A.Kojevnikov，基于单位子句消除的局部搜索求解布尔可满足性,第七届约束编程原理与实践国际会议（CP’01）2001年11月至12月。
- 13
- I.Lync和J.P.Marques-Silva，简化在命题可满足性中的困惑作用,EPIA’01约束满足和问题解决运筹学技术研讨会（EPIA-CSOR）2001年12月。
- 14
- I.Lync、L.Baptista和J.P.Marques-Silva，可满足性的可证明完全随机搜索算法,第十届葡萄牙人工智能会议2001年12月。
- 15
- S.D.Prestwich，无权线性伪布尔约束问题的随机回溯,第四届人工智能与手术技术集成国际研讨会组合优化问题的约束规划（CP-AI-OR’02）, 2002年3月。
- 16
- E.Goldberg和Y.Novikov，BerkMin：一种快速稳健的卫星解算器,欧洲的设计、自动化和测试（日期'02）, 2002年3月，第142-149页。
- 17
- S.Pilarski和G.Hu，加快EDA的SAT,欧洲的设计、自动化和测试（日期'02）, 2002年3月，第1081页。
- 18
- 巴克斯，探索更多推理和更少搜索的计算权衡,满意度测试理论与应用国际研讨会（SAT'02）, 2002年5月，第7-16页。
- 19
- E.A.Hirsch和A.Kojevnikov，UnitWalk：一种新的SAT解算器，它使用单元子句消除引导的局部搜索,满意度测试理论与应用国际研讨会（SAT'02）, 2002年5月，第35-42页。
- 20
- F.A.Aloul、B.D.Sierawski和K.A.Sakallah，一种用于测量回溯搜索解算器进度的工具,可满足性测试理论与应用国际研讨会（SAT'02）, 2002年5月，第98-105页。
- 21
- I.Lync和J.Marques-Silva用于回溯搜索SAT解算器的高效数据结构,满意度测试理论与应用国际研讨会（SAT'02）, 2002年5月，第308-315页。
- 22
- F.A.Aloul、A.Ramani、I.L.Markov和K.A.Sakallah，在对称性存在的情况下解决困难的SAT实例,满意度测试理论与应用国际研讨会（SAT'02）, 2002年5月，第338-345页。
- 23
- S.Pilarski和G.Hu，带有部分条款和后跳的SAT，第39届设计自动化会议（DAC’02）, 2002年6月。
- 24
- 巴克斯，用扩展二进制子句推理增强Davis Putnam，第十八届全国人工智能会议（AAAI'02）, 2002年7月至8月。