Search Results for author:
Found 3 papers, 2 papers with code
HENet: Forcing a Network to Think More for Font Recognition
Although lots of progress were made in Text Recognition/OCR in recent years, the task of font recognition is remaining challenging.
Ranked #1 on
Font Recognition
on Explor_all
(Top 1 Accuracy metric)
Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy
We improve further the 2015 version of abcdSAT by various heuristics such as at-least-one recently used strategy, learnt clause database approximation reduction etc.
Improving SAT Solvers via Blocked Clause Decomposition
Our experiments on application benchmarks demonstrate that the new variables selection policy based on BCD can increase the performance of SAT solvers such as abcdSAT.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
