HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:David Mitchell

Publications
Improving SAT Solver Performance with Structure-based Preferential Bumping
Sima Jamali and David Mitchell
In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Propagators and Solvers for the Algebra of Modular Systems
Bart Bogaerts, Eugenia Ternovska and David Mitchell
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

algebra, Bridge variables, CDCL, centrality, community structure, Industrial Formulas, model expansion, modular systems, propagators, solvers, VSIDS.

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