Nathan Kitchen

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Hardware Acceleration for Constraint Solving for Random Simulation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

2010
Markov Chain Monte Carlo Stimulus Generation for Constrained Random Simulation.
PhD thesis, 2010

2009
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2007
Stimulus generation for constrained random simulation.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006
SAT sweeping with local observability don't-cares.
Proceedings of the 43rd Design Automation Conference, 2006

2005
Temporal Decomposition for Logic Optimization.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005


  Loading...