Login / Signup
Sima Jamali
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 4
Top Topics
Propositional Satisfiability
Unit Propagation
Clause Learning
Sat Solvers
Top Venues
SAT
CoRR
GCAI
</>
Publications
</>
Sima Jamali
,
David Mitchell
An Experimental Study of Permanently Stored Learned Clauses.
CoRR
(2021)
Sima Jamali
,
David Mitchell
Simplifying CDCL Clause Database Reduction.
SAT
(2019)
Sima Jamali
,
David Mitchell
Centrality-Based Improvements to CDCL Heuristics.
SAT
(2018)
Sima Jamali
,
David Mitchell
Improving SAT Solver Performance with Structure-based Preferential Bumping.
GCAI
(2017)