ieee transactions on computers (4)
advanced techniques in logic synthesis, optimizations & applications (3)
computer aided verification (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
dac design automation conference 2012 (2)
dac: annual acm/ieee design automation conference (2)
institute of electrical and electronics engineers. transactions on computers (2)
proceedings of the 1999 ieee acm international conference computer-aided design (2)
2010 ieee/acm international conference on computer-aided design (iccad), computer-aided design (iccad), 2010 ieee/acm international conference on (1)
2011 12th international symposium on quality electronic design, quality electronic design (isqed), 2011 12th international symposium on (1)
2012 ieee 55th international midwest symposium on circuits & systems (mwscas) (1)
2012 ieee 55th international midwest symposium on circuits and systems (mwscas), circuits and systems (mwscas), 2012 ieee 55th international midwest symposium on (1)
2013 formal methods in computer-aided design (1)
2013 formal methods in computer-aided design, formal methods in computer-aided design (fmcad), 2013 (1)
2018 ieee/acm 40th international conference on software engineering: companion (icse-companion), software engineering: companion (icse-companion), 2018 ieee/acm 40th international conference on, icse-companion (1)
2019 ieee 49th international symposium on multiple-valued logic (ismvl), international symposium on multiple-valued logic (ismvl), 2019 ieee 49th, ismvl (1)
2019 ieee 49th international symposium on multiple-valued logic---ismvl 2019 (1)
2019 ieee biomedical circuits and systems conference (biocas), biomedical circuits and systems conference (biocas), 2019 ieee (1)
2020 57th acm/ieee design automation conference (dac), design automation conference (dac), 2020 57th acm/ieee (1)
2021 ieee/acm international conference on computer aided design (iccad), computer aided design (iccad), 2021 ieee/acm international conference on (1)
25th international conference on theory and applications of satisfiability testing (1)
acm transactions on modeling and computer simulation (1)
acm transactions on reconfigurable technology and systems (1)
computer aided verification (9783642314230) (1)
computer aided verification. part i (1)
dac design automation conference 2012, design automation conference (dac), 2012 49th acm/edac/ieee (1)
icse: international conference on software engineering (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
ieee transactions on computers, computers, ieee transactions on, ieee trans. comput. (1)
journal of automated reasoning (1)
proceeding of the acm/sigda international symposium: field programmable gate arrays (1)
proceedings of the 1999 ieee/acm international conference: computer-aided design (1)
proceedings of the international conference computer-aided design (9781424481927) (1)
quantum information processing (1)
tenth acm/ieee international conference on formal methods & models for codesign (memcode2012) (1)
tenth acm/ieee international conference on formal methods and models for codesign (memcode2012), formal methods and models for codesign (memocode), 2012 10th ieee/acm international conference on (1)
theoretical computer science (1)
theory & applications of satisfiability testing - sat 2016 (1)
theory and applications of satisfiability testing---sat 2012 (1)
theory and applications of satisfiability testing---sat 2014 (1)
theory and applications of satisfiability testing---sat 2015 (1)
theory and applications of satisfiability testing---sat 2016 (1)