Nathan Kitchen

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Constraint Logic Programming

Hardware Software

Constraint Solving

Top Venues

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

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Tobias Welp, Nathan Kitchen, Andreas Kuehlmann
Hardware Acceleration for Constraint Solving for Random Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (5) (2012)
Nathan Kitchen, Andreas Kuehlmann
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints. CAV (2009)
Nathan Kitchen, Andreas Kuehlmann
Stimulus generation for constrained random simulation. ICCAD (2007)
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
SAT sweeping with local observability don't-cares. DAC (2006)
Nathan Kitchen, Andreas Kuehlmann
Temporal Decomposition for Logic Optimization. ICCD (2005)