Sol Swords
From MaRDI portal
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 |
|---|---|---|
| Generating mutually inductive theorems from concise descriptions | 2024-08-22 | Paper |
| Fix your types | 2024-08-21 | Paper |
| Meta-extract: using existing facts in meta-reasoning | 2024-08-21 | Paper |
| Term-level reasoning in support of bit-blasting | 2024-08-21 | Paper |
| Verified AIG algorithms in ACL2 | 2024-08-13 | Paper |
| A Mechanically Verified AIG-to-BDD Conversion Algorithm Interactive Theorem Proving | 2010-09-14 | Paper |
Research outcomes over time
This page was built for person: Sol Swords
