| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 5 |      | Tobias Welp, Nathan Kitchen, Andreas Kuehlmann: Hardware Acceleration for Constraint Solving for Random Simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 31(5): 779-789 (2012) |
| 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 |
| 1 | Andreas Kuehlmann | [1] [2] [3] [4] [5] |
| 2 | Alberto L. Sangiovanni-Vincentelli | [2] |
| 3 | Tobias Welp | [5] |
| 4 | Qi Zhu | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page