Temporal Decomposition for Logic Optimization. - Nathan Kitchen; Andreas Kuehlmann (ICCD, 2005)

SAT sweeping with local observability don't-cares. - Qi Zhu 002; Nathan Kitchen; Andreas Kuehlmann; Alberto L. Sangiovanni-Vincentelli (DAC, 2006)

Stimulus generation for constrained random simulation. - Nathan Kitchen; Andreas Kuehlmann (ICCAD, 2007)

A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. - Nathan Kitchen; Andreas Kuehlmann (CAV, 2009)

Markov Chain Monte Carlo Stimulus Generation for Constrained Random Simulation. - Nathan Kitchen (2010)

Hardware Acceleration for Constraint Solving for Random Simulation. - Tobias Welp; Nathan Kitchen; Andreas Kuehlmann (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)