The Maple series of SAT solvers is a family of conflict-driven clause-learning SAT solvers outfitted with machine learning-based heuristics. A key innovation in the MapleSAT series of SAT solvers is the use of the learning rate branching heuristic (LRB), a departure from the VSIDS branching heuristic that has been the status quo for the past decade of SAT solving. MapleCOMSPS_LRB won 1st in the SAT Competition 2016 Application category

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element