Spring til hovednavigation Spring til søgning Spring til hovedindhold

Synthesizing Shortest Straight-Line Programs over GF(2) using SAT

  • RWTH Aachen University

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Synthesizing Shortest Straight-Line Programs over GF(2) using SAT'. Sammen danner de et unikt fingeraftryk.
Sorter

Computer Science