Leopold Haller
From MaRDI portal
Person:479836
Available identifiers
zbMath Open haller.leopoldMaRDI QIDQ479836
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 |
|---|---|---|
| Lifting CDCL to template-based abstract domains for program verification | 2022-08-12 | Paper |
| Deciding floating-point logic with abstract conflict driven clause learning | 2014-12-05 | Paper |
| Abstract conflict driven learning | 2014-11-27 | Paper |
| An abstract interpretation of DPLL(T) | 2014-11-03 | Paper |
| Abstract satisfaction | 2014-04-10 | Paper |
| Numeric bounds analysis with conflict-driven learning | 2012-06-29 | Paper |
| Strengthening induction-based race checking with lightweight static analysis | 2011-02-15 | Paper |
| Finding Lean Induced Cycles in Binary Hypercubes | 2009-07-07 | Paper |
Research outcomes over time
This page was built for person: Leopold Haller
