Back to Search Start Over

Satometer: how much have we searched?

Authors :
Aloul, Fadi A.
Sierawski, Brian D.
Sakallah, Karem A.
Source :
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. August, 2003, Vol. 22 Issue 8, p995, 10 p.
Publication Year :
2003

Subjects

Subjects :
Mathematical logic -- Research
Symbolic and mathematical logic -- Research
Computer-aided design -- Research
Algebra, Boolean -- Research
Algebra, Boolean -- 2002 AD
Computer-aided design -- 2002 AD
Mathematical logic -- 2002 AD
Symbolic and mathematical logic -- 2002 AD

Details

Language :
English
ISSN :
02780070
Volume :
22
Issue :
8
Database :
Gale General OneFile
Journal :
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Publication Type :
Academic Journal
Accession number :
edsgcl.108105930

Tools

Authors Abstract Subjects Details