HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sima Jamali

Publications
Improving SAT Solver Performance with Structure-based Preferential Bumping
Sima Jamali and David Mitchell
In:GCAI 2017. 3rd Global Conference on Artificial Intelligence

Keyphrases

Bridge variables, CDCL, centrality, community structure, Industrial Formulas, VSIDS.

Copyright © 2012-2025 easychair.org. All rights reserved.