Leopold Haller

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller: Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31

	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	Daniel Kroening (Daniel Kröning)	[1]
3	Thomas Wahl	[1]