2017-09-05から1日間の記事一覧
Learning to Order BDD Variables in VerificationOrna Grumberg Shlomi Livne Shaul Markovitch Computer Science Department Technion - Israel Institute of Technology Haifa 32000, Israel Abstract The size and complexity of software and hardware …