research
∙
10/21/2021
HENet: Forcing a Network to Think More for Font Recognition
Although lots of progress were made in Text Recognition/OCR in recent ye...
share
research
∙
07/02/2019
Core First Unit Propagation
Unit propagation (which is called also Boolean Constraint Propagation) h...
research
∙
04/02/2016
Improving SAT Solvers via Blocked Clause Decomposition
The decision variable selection policy used by the most competitive CDCL...
research
∙
08/08/2012
A Dynamic Phase Selection Strategy for Satisfiability Solvers
The phase selection is an important of a SAT Solver based on conflict-dr...
research
∙
05/07/2011