Alex Poole

According to our database¹, Alex Poole authored at least 3 papers between 2004 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Abstract Cores in Implicit Hitting Set MaxSat Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2004

In Search of Salience: A Response-time and Eye-movement Analysis of Bookmark Recognition.

[BibT_eX]

[DOI]

Proceedings of the People and Computers XVIII, 2004