论文

1. 杰西卡戴维斯博士论文，美国大学计算机科学系2013年多伦多。
2. 杰西卡·戴维斯和法希姆·巴克斯推迟优化以加快MAXSAT解算。第19届国际会议记录约束编程（CP）原理与实践2013)
3. 杰西卡·戴维斯和法希姆巴克斯。开发MAXSAT中MIP解算器的威力。的程序第十六届国际理论与实践大会可满足性测试的应用（SAT 2013）
4. 杰西卡·戴维斯和法希姆巴克斯。解决通过求解更简单SAT序列的MAXSAT实例。第17届国际会议记录约束原则与实践会议编程（CP 2011）。
5. Fahiem Bacchus、Antti Hyttinen、Matti Järvisalo、Paul赛科。MaxSAT中的降低成本固定.第23届约束规划原理与实践国际会议论文集（CP 2017）
6. 兰迪·希基和法希姆巴克斯。加速基于假设的SAT会议记录第22届国际理论与应用会议合格性测试（SAT 2019）
7. 杰里米亚斯·伯格、法希姆·巴克斯和亚历克斯·普尔。隐式命中集MaxSat求解中的抽象核第23届国际理论与应用会议记录满足性测试（SAT 2020）