Leopold Haller : Publications
|
[1] |
Numeric Bounds Analysis with Conflict−Driven Learning Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig In TACAS. 2012. |
|
[2] |
Strengthening Induction−Based Race Checking with Lightweight Static Analysis Alastair F. Donaldson‚ Leopold Haller and Daniel Kroening In VMCAI. Pages 169−183. 2011. |
|
[3] |
Software Verification Using k−Induction Alastair F. Donaldson‚ Leopold Haller‚ Daniel Kroening and Philipp Ruemmer In SAS. Springer. 2011. |
|
[4] |
A SAT Solver for Circuits Based on the Tableau Method Uwe Egly and Leopold Haller In KI. Vol. 24. No. 1. Pages 15−23. 2010. |
|
[5] |
Relieving capacity limits on FPGA−based SAT−solvers Leopold Haller and Satnam Singh In FMCAD. Pages 217−220. 2010. |
|
[6] |
Finding Lean Induced Cycles in Binary Hypercubes Yury Chebiryak‚ Thomas Wahl‚ Daniel Kroening and Leopold Haller In SAT. Pages 18−31. 2009. |