Multiplikation

[x0,…]⋅[y0,…],

SAT-Formeln für binäre Multiplikation sind sehr schwer: Resultatbit k hängt von allen Eingabebits 0,..., k ab.

2014-07-06