Author of the publication

On Optimal Power-Aware Path Sensitization

, , , , , , and . 2016 IEEE 25th Asian Test Symposium (ATS), page 179-184. Piscataway, IEEE, (2016)
DOI: 10.1109/ATS.2016.63

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Solving DQBF through quantifier elimination., , , , , and . DATE, page 1617-1622. ACM, (2015)Enhanced Integration of QBF Solving Techniques., , , and . MBMV, page 133-143. Verlag Dr. Kovac, (2012)Incremental Encoding and Solving of Cardinality Constraints., , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 297-313. Springer, (2014)Efficient SAT-Based Circuit Initialization for Larger Designs., , , and . VLSI Design, page 62-67. IEEE Computer Society, (2014)Provably optimal test cube generation using quantified boolean formula solving., , , , and . ASP-DAC, page 533-539. IEEE, (2013)HQSpre - An Effective Preprocessor for QBF and DQBF., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 373-390. (2017)Equivalence Checking for Partial Implementations Revisited., , , , , and . MBMV, page 61-70. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Equivalence checking of partial designs using dependency quantified Boolean formulae., , , , , and . ICCD, page 396-403. IEEE Computer Society, (2013)On Optimal Power-Aware Path Sensitization, , , , , , and . 2016 IEEE 25th Asian Test Symposium (ATS), page 179-184. Piscataway, IEEE, (2016)Integration of orthogonal QBF solving techniques., , , and . DATE, page 149-154. IEEE, (2011)