Yehuda Naveh

From MaRDI portal
Person:3064569

Available identifiers

zbMath Open naveh.yehudaMaRDI QIDQ3064569

List of research outcomes





PublicationDate of PublicationType
Stimuli generation for functional hardware verification with constraint programming2010-12-22Paper
The big deal: applying constraint satisfaction technologies where it makes the difference2010-09-29Paper
Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search2009-03-10Paper
Generalizing AllDifferent: The SomeDifferent Constraint2008-09-09Paper

Research outcomes over time

This page was built for person: Yehuda Naveh

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3064569&oldid=7360825"
Powered by MediaWiki