56 search results - page 12 / 12 » On Compact Formulations for Integer Programs Solved by Colum... |
118
click to vote
CONSTRAINTS
2007
15 years 2 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...