Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Marcu, Eitan s"'
Autor:
Naveh, Yehuda, Rimon, Michal, Jaeger, Itai, Katz, Yoav, Vinov, Michael, Marcu, Eitan s, Shurek, Gil
Publikováno v:
AI Magazine; Vol 28, No 3: Fall 2007; 13
We report on random stimuli generation for hardware verification at IBM as a major applica-tion of various artificial intelligence technologies, including knowledge representation, expert systems, and constraint satisfaction. For more than a decade w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn07384602::4a8a6a985174d1133722cc03d11b6126
http://aaai.org/ojs/index.php/aimagazine/article/view/2052
http://aaai.org/ojs/index.php/aimagazine/article/view/2052
