Evaluating CDCL Variable Scoring Schemes - Biere, Armin; Fröhlich, Andreas (Theory and Applications of Satisfiability Testing -- SAT 2015, 2015)
Keywords: Argumentation Framework; Artificial intelligence; Computer science; Current Partial Assignment; Decision Heuristic; Decision Variable; Mathematical theory of computation; Priority Queue