Shai Haim

Learn More
We present an online method for estimating the cost of solving SAT problems. Modern SAT solvers present several challenges to estimate search cost including non-chronological backtracking, learning and restarts. Our method uses a linear model trained on data gathered at the start of search. We show the effectiveness of this method using random and(More)
We observe a trend regarding restart strategies used in SAT solvers. A few years ago, most state-of-the-art solvers restarted on average after a few thousands of backtracks. Currently, restarting after a dozen backtracks results in much better performance. The main reason for this trend is that heuristics and data structures have become more(More)
Project Goals The goal of this project is to create an application that will analyze a Twitter user's public tweets and determine the similarity between those tweets and the aggregated tweets of industry leaders. Industry Leaders will be chosen by pulling the users with the highest Klout scores in a specific category that we are trying to analyze. Users(More)
  • 1