Vadim Ryvchin

According to our database, Vadim Ryvchin authored at least 14 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Local Search with a SAT Oracle for Combinatorial Optimization.

Aviad Cohen, Alexander Nadel, Vadim Ryvchin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2018

Chronological Backtracking.

Alexander Nadel, Vadim Ryvchin

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

2016

Bit-Vector Optimization.

Alexander Nadel, Vadim Ryvchin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

Efficient generation of small interpolants in CNF.

Yakir Vizel, Alexander Nadel, Vadim Ryvchin

Formal Methods Syst. Des., 2015

Hints Revealed.

Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz

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

Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data.

Alexander Ivrii, Vadim Ryvchin, Ofer Strichman

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

2014

Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

J. Satisf. Boolean Model. Comput., 2014

Ultimately Incremental SAT.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

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

2013

Efficient MUS extraction with resolution.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Preprocessing in Incremental SAT.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

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

Efficient SAT Solving under Assumptions.

Alexander Nadel, Vadim Ryvchin

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

2011

Faster Extraction of High-Level Minimal Unsatisfiable Cores.

Vadim Ryvchin, Ofer Strichman

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

2010

Assignment Stack Shrinking.

Alexander Nadel, Vadim Ryvchin

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2008

Local Restarts.

Vadim Ryvchin, Ofer Strichman

Proceedings of the Theory and Applications of Satisfiability Testing, 2008