Yochai Twitto

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 7

Top Topics

Maximum Satisfiability

Top Venues

Discret. Optim.

J. Comb. Optim.

Publications

Daniel Berend, Shahar Golan, Yochai Twitto
CHAMP: A multipass algorithm for Max Sat based on saver variables. Discret. Optim. 47 (2023)
Daniel Berend, Shahar Golan, Yochai Twitto
GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat. Discret. Optim. 43 (2022)
Daniel Berend, Shahar Golan, Yochai Twitto
Using the method of conditional expectations to supply an improved starting point for CCLS. J. Comb. Optim. 44 (5) (2022)
Daniel Berend, Shahar Golan, Yochai Twitto
A Novel Algorithm for Max Sat Calling MOCE to Order. COCOA (2021)
Daniel Berend, Yochai Twitto
Probabilistic characterization of random Max r-Sat. Discret. Optim. 40 (2021)
Daniel Berend, Yochai Twitto
Effect of Initial Assignment on Local Search Performance for Max Sat. SEA (2020)
Daniel Berend, Yochai Twitto
The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r. SAT (2016)
Yochai Twitto
Dominance guarantees for above-average solutions. Discret. Optim. 5 (3) (2008)
Daniel Berend, Steven Skiena, Yochai Twitto
Combinatorial dominance guarantees for problems with infeasible solutions. ACM Trans. Algorithms 5 (1) (2008)