Leopold Haller
From MaRDI portal
Person:479836
Available identifiers
zbMath Open haller.leopoldMaRDI QIDQ479836
List of research outcomes
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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Leopold Haller