Alex Poole

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 2

Top Topics

Extended Abstract

Combinatorial Optimization

Randomly Generated

Top Venues

Publications

Jeremias Berg, Fahiem Bacchus, Alex Poole
Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract). IJCAI (2021)
Jeremias Berg, Fahiem Bacchus, Alex Poole
Abstract Cores in Implicit Hitting Set MaxSat Solving. SAT (2020)
Alex Poole, Linden J. Ball, Peter Phillips
In Search of Salience: A Response-time and Eye-movement Analysis of Bookmark Recognition. BCS HCI (2004)