Published in Proceedings of the fifth annual 1968 design automation workshop on Design automation - DAC '68

by Lei, Ying, Lu, Jubin, Huang, Jinshan, Chen, Siyi
Published in Mechanical systems and signal processing (01.09.2020)

by Belyaev, Nikolay, Perepelkin, Vladislav
Published in Parallel Computing Technologies (2021)

by Spielmann, Andrej, Kuncak, Viktor
Published in Automated Reasoning (2012)

by Öztireli, A. Cengiz, Gross, Markus
Published in ACM transactions on graphics (01.11.2012)