Search results for: D. Kroening
IEEE Transactions on Information Theory > 2010 > 56 > 2 > 805 - 820
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2008 > 27 > 2 > 366 - 379
IEEE Transactions on Information Theory > 2008 > 54 > 4 > 1819 - 1823
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2008 > 27 > 7 > 1165 - 1178