Person:6492739
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 |
|---|---|---|
| Lazy reimplication in chronological backtracking | 2026-02-03 | Paper |
| Term ordering diagrams | 2026-01-21 | Paper |
| SAT solving for variants of first-order subsumption Formal Methods in System Design | 2025-10-24 | Paper |
| SAT-Based Subsumption Resolution | 2024-04-26 | Paper |
Research outcomes over time
This page was built for person:
