乘法器

n

Lingeling

ABC

增量方法

+加法器重写

+Gröbner基消去

btor vs. sp-ar-rc

8

13

18

2

0

0

btor vs. sp-ar-rc

16

TO

TO

8

1

1

btor vs. sp-ar-rc

32

TO

TO

82

4

3

btor vs. sp-ar-rc

64

TO

TO

TO

21

17

btor vs. sp-ar-rc

128

TO

TO

TO

188

175