Nathan Kitchen

According to our database, Nathan Kitchen authored at least 6 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Hardware Acceleration for Constraint Solving for Random Simulation.

Tobias Welp, Nathan Kitchen, Andreas Kuehlmann

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

2010

Markov Chain Monte Carlo Stimulus Generation for Constrained Random Simulation.

Nathan Kitchen

PhD thesis, 2010

2009

A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints.

Nathan Kitchen, Andreas Kuehlmann

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2007

Stimulus generation for constrained random simulation.

Nathan Kitchen, Andreas Kuehlmann

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006

SAT sweeping with local observability don't-cares.

Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 43rd Design Automation Conference, 2006

2005

Temporal Decomposition for Logic Optimization.

Nathan Kitchen, Andreas Kuehlmann

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005