In Search of Salience: A Response-time and Eye-movement Analysis of Bookmark Recognition. - Alex Poole; Linden J. Ball; Peter Phillips (BCS HCI, 2004)

Abstract Cores in Implicit Hitting Set MaxSat Solving. - Jeremias Berg; Fahiem Bacchus; Alex Poole (SAT, 2020)

Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract). - Jeremias Berg; Fahiem Bacchus; Alex Poole (IJCAI, 2021)