Minimum leakage vector computation using weighted partial MaxSAT.

Authors :: Singh, A.
Gulati, K.
Khatri, S.P.
Source :: 2010 53rd IEEE International Midwest Symposium on Circuits & Systems (MWSCAS); 2010, p201-204, 4p
Publication Year :: 2010

Language :: English
ISBNs :: 9781424477715
Database :: Complementary Index
Journal :: 2010 53rd IEEE International Midwest Symposium on Circuits & Systems (MWSCAS)
Publication Type :: Conference
Accession number :: 81524185
Full Text :: https://doi.org/10.1109/MWSCAS.2010.5548692