Vadim Ryvchin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
4
Active years
2008–2021
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TACAS | Local Search with a SAT Oracle for Combinatorial Optimization. | Aviad Cohen, Alexander Nadel, Vadim Ryvchin |
| 2018 | SAT | Chronological Backtracking. | Alexander Nadel, Vadim Ryvchin |
| 2016 | TACAS | Bit-Vector Optimization. | Alexander Nadel, Vadim Ryvchin |
| 2015 | SAT | Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. | Alexander Ivrii, Vadim Ryvchin, Ofer Strichman |
| 2015 | SAT | Hints Revealed. | Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz |
| 2014 | SAT | Ultimately Incremental SAT. | Alexander Nadel, Vadim Ryvchin, Ofer Strichman |
| 2013 | CAV | Efficient Generation of Small Interpolants in CNF. | Yakir Vizel, Vadim Ryvchin, Alexander Nadel |
| 2013 | FMCAD | Efficient MUS extraction with resolution. | Alexander Nadel, Vadim Ryvchin, Ofer Strichman |
| 2012 | SAT | Efficient SAT Solving under Assumptions. | Alexander Nadel, Vadim Ryvchin |
| 2012 | SAT | Preprocessing in Incremental SAT. | Alexander Nadel, Vadim Ryvchin, Ofer Strichman |
| 2011 | SAT | Faster Extraction of High-Level Minimal Unsatisfiable Cores. | Vadim Ryvchin, Ofer Strichman |
| 2010 | SAT | Assignment Stack Shrinking. | Alexander Nadel, Vadim Ryvchin |
| 2008 | SAT | Local Restarts. | Vadim Ryvchin, Ofer Strichman |