Constraint-based random stimuli generation for hardware verificationYehuda NavehMichal Rimonet al.2007AI Magazine
Workforce optimiztion: Identification and assignment of professional workers using constraint programmingYehuda NavehYossi Richteret al.2007IBM J. Res. Dev