Yochai Twitto

Discret. Optim., February, 2023

2022

Using the method of conditional expectations to supply an improved starting point for CCLS.

[BibT_eX]

[DOI]

J. Comb. Optim., 2022

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

[BibT_eX]

[DOI]

Discret. Optim., 2022

2021

Probabilistic characterization of random Max r-Sat.

[BibT_eX]

[DOI]

Discret. Optim., 2021

A Novel Algorithm for Max Sat Calling MOCE to Order.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2021

2020

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2008

Combinatorial dominance guarantees for problems with infeasible solutions.

[BibT_eX]

[DOI]

Steven Skiena

ACM Trans. Algorithms, 2008

Dominance guarantees for above-average solutions.

[BibT_eX]

[DOI]