Vadim Ryvchin

15 papers A* 1A 10B 1Journal 2Unranked 1

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Local Search with a SAT Oracle for Combinatorial Optimization. TACAS (2) Aviad Cohen, Alexander Nadel, Vadim Ryvchin
2018	A	`conf`	Chronological Backtracking. SAT Alexander Nadel, Vadim Ryvchin
2016	A	`conf`	Bit-Vector Optimization. TACAS Alexander Nadel, Vadim Ryvchin
2015	J	`jnl`	Efficient generation of small interpolants in CNF. Formal Methods Syst. Des. Yakir Vizel, Alexander Nadel, Vadim Ryvchin
2015	A	`conf`	Hints Revealed. SAT Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz
2015	A	`conf`	Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. SAT Alexander Ivrii, Vadim Ryvchin, Ofer Strichman
2014	J	`jnl`	Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores. J. Satisf. Boolean Model. Comput. Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2014	A	`conf`	Ultimately Incremental SAT. SAT Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2013	A*	`conf`	Efficient Generation of Small Interpolants in CNF. CAV Yakir Vizel, Vadim Ryvchin, Alexander Nadel
2013	B	`conf`	Efficient MUS extraction with resolution. FMCAD Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2012	A	`conf`	Efficient SAT Solving under Assumptions. SAT Alexander Nadel, Vadim Ryvchin
2012	A	`conf`	Preprocessing in Incremental SAT. SAT Alexander Nadel, Vadim Ryvchin, Ofer Strichman
2011	A	`conf`	Faster Extraction of High-Level Minimal Unsatisfiable Cores. SAT Vadim Ryvchin, Ofer Strichman
2010	A	`conf`	Assignment Stack Shrinking. SAT Alexander Nadel, Vadim Ryvchin
2008	A	`conf`	Local Restarts. SAT Vadim Ryvchin, Ofer Strichman