 | 2008 |
|---|
| 9 |       | Yehuda Naveh:
Guiding Stochastic Search by Dynamic Learning of the Problem Topography.
CPAIOR 2008: 349-354 |
| 2007 |
|---|
| 8 | | Sivan Sabato,
Yehuda Naveh:
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search.
CPAIOR 2007: 244-259 |
| 7 | | Yehuda Naveh,
Andrea Roli:
Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction.
Constraints 12(3): 261-262 (2007) |
| 6 | | Yehuda Naveh,
Yossi Richter,
Yaniv Altshuler,
Donna L. Gresh,
Daniel P. Connors:
Workforce optimization: Identification and assignment of professional workers using constraint programming.
IBM Journal of Research and Development 51(3/4): 263-280 (2007) |
| 2006 |
|---|
| 5 |  | Yehuda Naveh,
Michal Rimon,
Itai Jaeger,
Yoav Katz,
Michael Vinov,
Eitan Marcus,
Gil Shurek:
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI 2006 |
| 4 | | Yossi Richter,
Ari Freund,
Yehuda Naveh:
Generalizing AllDifferent: The SomeDifferent Constraint.
CP 2006: 468-483 |
| 3 | | Shai Fine,
Ari Freund,
Itai Jaeger,
Yishay Mansour,
Yehuda Naveh,
Avi Ziv:
Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.
IEEE Trans. Computers 55(11): 1344-1355 (2006) |
| 2005 |
|---|
| 2 | | Yehuda Naveh,
Roy Emek:
Random Stimuli Generation for Functional Hardware Verification as a CP Application.
CP 2005: 882-882 |
| 2004 |
|---|
| 1 | | Roy Emek,
Itai Jaeger,
Yoav Katz,
Yehuda Naveh:
Quality Improvement Methods for System-Level Stimuli Generation.
ICCD 2004: 204-206 |
