@misc {IOPORT.70688880,
    author       = {Mishchenko, Alan and Brayton, Robert K.},
    title        = {SAT-based complete don't-care computation for network optimization},
    howpublished = {DATE, 412-417 (2005).},
    year         = {2005},
    identifier   = {70688880},
}