Vadim Ryvchin
From MaRDI portal
Person:746772
Available identifiers
zbMath Open ryvchin.vadimMaRDI QIDQ746772
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores | 2021-12-09 | Paper |
Local search with a SAT oracle for combinatorial optimization | 2021-10-18 | Paper |
Chronological backtracking | 2018-08-10 | Paper |
Hints Revealed | 2015-11-20 | Paper |
Mining Backbone Literals in Incremental SAT | 2015-11-20 | Paper |
Efficient generation of small interpolants in CNF | 2015-10-20 | Paper |
Ultimately Incremental SAT | 2014-09-26 | Paper |
Efficient Generation of Small Interpolants in CNF | 2013-11-26 | Paper |
Efficient SAT Solving under Assumptions | 2013-08-12 | Paper |
Preprocessing in Incremental SAT | 2013-08-12 | Paper |
Faster Extraction of High-Level Minimal Unsatisfiable Cores | 2011-06-17 | Paper |
Assignment Stack Shrinking | 2010-09-29 | Paper |
Local Restarts | 2008-05-27 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Vadim Ryvchin