Shai Haim | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Toby Walsh
98 publications
Marijn Heule
8 publications

research

∙ 02/18/2014

Towards Ultra Rapid Restarts

We observe a trend regarding restart strategies used in SAT solvers. A f...

0 Shai Haim, et al. ∙

research

∙ 07/29/2009

Online Search Cost Estimation for SAT Solvers

We present two different methods for estimating the cost of solving SAT ...

0 Shai Haim, et al. ∙

research

∙ 07/29/2009

Restart Strategy Selection using Machine Learning Techniques

Restart strategies are an important factor in the performance of conflic...

0 Shai Haim, et al. ∙