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