Parallelizing of Boolean function system for device simulation. - Alexander Chemeris; Svetlana Reznikova (EWDTS, 2011)