Vadim Ryvchin
From MaRDI portal
Person:746772
Available identifiers
zbMath Open ryvchin.vadimMaRDI QIDQ746772
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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
This page was built for person: Vadim Ryvchin
