Nathan Kitchen

	2009
4		Nathan Kitchen, Andreas Kuehlmann: A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. CAV 2009: 446-461
	2007
3		Nathan Kitchen, Andreas Kuehlmann: Stimulus generation for constrained random simulation. ICCAD 2007: 258-265
	2006
2		Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli: SAT sweeping with local observability don't-cares. DAC 2006: 229-234
	2005
1		Nathan Kitchen, Andreas Kuehlmann: Temporal Decomposition for Logic Optimization. ICCD 2005: 697-702

Coauthor Index

1	Andreas Kuehlmann	[1] [2] [3] [4]
2	Alberto L. Sangiovanni-Vincentelli	[2]
3	Qi Zhu	[2]