Sima Jamali

According to our database¹, Sima Jamali authored at least 4 papers between 2017 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

An Experimental Study of Permanently Stored Learned Clauses.

[BibT_eX]

[DOI]

CoRR, 2021

2019

Simplifying CDCL Clause Database Reduction.

[BibT_eX]

[DOI]

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

2018

Centrality-Based Improvements to CDCL Heuristics.

[BibT_eX]

[DOI]

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

2017

Improving SAT Solver Performance with Structure-based Preferential Bumping.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2017, 2017