The following pages link to Yehuda Naveh (Q3064569):
Displayed 4 items.
- Stimuli Generation for Functional Hardware Verification with Constraint Programming (Q3064570) (← links)
- Generalizing AllDifferent: The SomeDifferent Constraint (Q3524252) (← links)
- Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search (Q3612422) (← links)
- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference (Q4930574) (← links)