11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.DS2017
Two Error Bounds of Imperfect Binary Search
Haoze Wu
Suppose we know that an object is in a sorted table and we want to determine the index of that object. To achieve this goal we could perform a binary search. However, suppose it is…
cs.AI2017★ 11 cited
Improve SAT-solving with Machine Learning
Haoze Wu
In this project, we aimed to improve the runtime of Minisat, a Conflict-Driven Clause Learning (CDCL) solver that solves the Propositional Boolean Satisfiability (SAT) problem. We…