יוחאי טוויטו

ד"ר יוחאי טוויטו

Dr. Yochai Twitto

מוסד עיקרי

המכללה האקדמית להנדסה על שם סמי שמעון

Shamoon College of Engineering

דוא״ל

yochait@sce.ac.il

דיסציפלינות ראשיותMain Disciplines

Computer Sciences, Mathematics

תחומי מחקר / מילות מפתחKeywords

Boolean Satisfiability, Combinatorial Optimization, Domination Analysis

פרסומים ויצירות עיקריים / עדכנייםMain / Recent Publications

Daniel Berend, Shahar Golan, Yochai Twitto, CHAMP: A multipass algorithm for Max Sat based on saver variables, Discrete Optimization, Volume 47, 2023
Berend, D., Golan, S. & Twitto, Y. Using the method of conditional expectations to supply an improved starting point for CCLS. J Comb Optim 44, 3711–3734 (2022).
Daniel Berend, Shahar Golan, Yochai Twitto, GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat, Discrete Optimization, Volume 43, 2022
Berend D., Golan S., Twitto Y. (2021) A Novel Algorithm for Max Sat Calling MOCE to Order. In: Du DZ., Du D., Wu C., Xu D. (eds) Combinatorial Optimization and Applications. COCOA 2021. Lecture Notes in Computer Science, vol 13135. Springer, Cham.
Daniel Berend, Yochai Twitto, Probabilistic characterization of random Max r-Sat, Discrete Optimization, Volume 40, 2021
Berend D., Skiena S.S., Twitto Y. (2018) Dominance Certificates for Combinatorial Optimization Problems. In: Goldengorin B. (eds) Optimization Problems in Graph Theory. Springer Optimization and Its Applications, vol 139. Springer, Cham.