Leopold Haller

	2012
6		Vijay D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig: Numeric Bounds Analysis with Conflict-Driven Learning. TACAS 2012: 48-63
	2011
5		Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer: Software Verification Using k-Induction. SAS 2011: 351-368
4		Alastair F. Donaldson, Leopold Haller, Daniel Kroening: Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI 2011: 169-183
	2010
3		Leopold Haller, Satnam Singh: Relieving capacity limits on FPGA-based SAT-solvers. FMCAD 2010: 217-220
2		Uwe Egly, Leopold Haller: A SAT Solver for Circuits Based on the Tableau Method. KI 24(1): 15-23 (2010)
	2009
1		Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller: Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31

Coauthor Index

1	Yury Chebiryak	[1]
2	Vijay D'Silva	[6]
3	Alastair F. Donaldson	[4] [5]
4	Uwe Egly	[2]
5	Daniel Kroening (Daniel Kröning)	[1] [4] [5] [6]
6	Philipp Rümmer	[5]
7	Satnam Singh	[3]
8	Michael Tautschnig	[6]
9	Thomas Wahl	[1]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page