CEC
2007
IEEE
13 years 11 months ago
2007
IEEE
— This paper looks at the statistics used to compare variations to the genetic programming method. Previous work in this area has been dominated by the use of mean best-of-run ï¬...
DAC
2006
ACM
14 years 5 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...