Title :
First cadathlon programming contest held at 2002 ICCAD
Author :
Hassoun, Soha ; Janssen, Geert
Author_Institution :
Tufts University
Keywords :
Circuit synthesis; Cost function; Design optimization; Inverters; Libraries; Logic circuits; Logic programming; Space technology;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2003.1198695
