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 Journal on Satisfiability, Boolean Modeling and Computation | 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 Lecture Notes in Computer Science | 2015-11-20 | Paper |
| Mining backbone literals in incremental SAT. A new kind of incremental data Lecture Notes in Computer Science | 2015-11-20 | Paper |
| Efficient generation of small interpolants in CNF Formal Methods in System Design | 2015-10-20 | Paper |
| Ultimately incremental SAT Lecture Notes in Computer Science | 2014-09-26 | Paper |
| Efficient Generation of Small Interpolants in CNF Computer Aided Verification | 2013-11-26 | Paper |
| Efficient SAT solving under assumptions Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
| Preprocessing in incremental SAT Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
| Faster Extraction of High-Level Minimal Unsatisfiable Cores Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
| Assignment stack shrinking Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
| Local Restarts Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Vadim Ryvchin
