Yochai Twitto

According to our database, Yochai Twitto authored at least 9 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

CHAMP: A multipass algorithm for Max Sat based on saver variables.

Daniel Berend, Shahar Golan, Yochai Twitto

Discret. Optim., February, 2023

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

GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat.

Daniel Berend, Shahar Golan, Yochai Twitto

Discret. Optim., 2022

2021

Probabilistic characterization of random Max r-Sat.

Daniel Berend, Yochai Twitto

Discret. Optim., 2021

A Novel Algorithm for Max Sat Calling MOCE to Order.

Daniel Berend, Shahar Golan, Yochai Twitto

Proceedings of the Combinatorial Optimization and Applications, 2021

2020

Effect of Initial Assignment on Local Search Performance for Max Sat.

Daniel Berend, Yochai Twitto

Proceedings of the 18th International Symposium on Experimental Algorithms, 2020

2016

The Normalized Autocorrelation Length of Random Max r -Sat Converges in Probability to (1-1/2^r)/r.

Daniel Berend, Yochai Twitto

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

2008

Combinatorial dominance guarantees for problems with infeasible solutions.

Daniel Berend, Steven Skiena, Yochai Twitto

ACM Trans. Algorithms, 2008

Dominance guarantees for above-average solutions.

Yochai Twitto

Discret. Optim., 2008