Improving SAT Solver Performance with Structure-based Preferential Bumping. - Sima Jamali; David Mitchell (GCAI, 2017)

Centrality-Based Improvements to CDCL Heuristics. - Sima Jamali; David Mitchell (SAT, 2018)

Simplifying CDCL Clause Database Reduction. - Sima Jamali; David Mitchell (SAT, 2019)

An Experimental Study of Permanently Stored Learned Clauses. - Sima Jamali; David Mitchell (CoRR, 2021)