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
