Dominance guarantees for above-average solutions. - Yochai Twitto (Discret. Optim., 2008)

Combinatorial dominance guarantees for problems with infeasible solutions. - Daniel Berend; Steven Skiena; Yochai Twitto (ACM Trans. Algorithms, 2008)

The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r. - Daniel Berend; Yochai Twitto (SAT, 2016)

Effect of Initial Assignment on Local Search Performance for Max Sat. - Daniel Berend; Yochai Twitto (SEA, 2020)

A Novel Algorithm for Max Sat Calling MOCE to Order. - Daniel Berend; Shahar Golan; Yochai Twitto (COCOA, 2021)

Probabilistic characterization of random Max r-Sat. - Daniel Berend; Yochai Twitto (Discret. Optim., 2021)

GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat. - Daniel Berend; Shahar Golan; Yochai Twitto (Discret. Optim., 2022)

Using the method of conditional expectations to supply an improved starting point for CCLS. - Daniel Berend; Shahar Golan; Yochai Twitto (J. Comb. Optim., 2022)

CHAMP: A multipass algorithm for Max Sat based on saver variables. - Daniel Berend; Shahar Golan; Yochai Twitto (Discret. Optim., 2023)