Local Restarts. - Vadim Ryvchin; Ofer Strichman (SAT, 2008)

Assignment Stack Shrinking. - Alexander Nadel; Vadim Ryvchin (SAT, 2010)

Faster Extraction of High-Level Minimal Unsatisfiable Cores. - Vadim Ryvchin; Ofer Strichman (SAT, 2011)

Efficient SAT Solving under Assumptions. - Alexander Nadel; Vadim Ryvchin (SAT, 2012)

Preprocessing in Incremental SAT. - Alexander Nadel; Vadim Ryvchin; Ofer Strichman (SAT, 2012)

Efficient MUS extraction with resolution. - Alexander Nadel; Vadim Ryvchin; Ofer Strichman (FMCAD, 2013)

Ultimately Incremental SAT. - Alexander Nadel; Vadim Ryvchin; Ofer Strichman (SAT, 2014)

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores. - Alexander Nadel; Vadim Ryvchin; Ofer Strichman (J. Satisf. Boolean Model. Comput., 2014)

Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. - Alexander Ivrii; Vadim Ryvchin; Ofer Strichman (SAT, 2015)

Hints Revealed. - Jonathan Kalechstain; Vadim Ryvchin; Nachum Dershowitz (SAT, 2015)

Efficient generation of small interpolants in CNF. - Yakir Vizel; Alexander Nadel; Vadim Ryvchin (Formal Methods Syst. Des., 2015)

Bit-Vector Optimization. - Alexander Nadel; Vadim Ryvchin (TACAS, 2016)

Chronological Backtracking. - Alexander Nadel; Vadim Ryvchin (SAT, 2018)

Local Search with a SAT Oracle for Combinatorial Optimization. - Aviad Cohen 001; Alexander Nadel; Vadim Ryvchin (TACAS (2), 2021)