Synthesizing shortest linear straight-line programs over GF(2) using SAT

Carsten Fuhs*, Peter Schneider-Kamp

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Synthesizing shortest linear straight-line programs over GF(2) using SAT'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab