Sign in

-term DNF formulas from satisfying assignments.

Maciej LiskiewiczMatthias LutterRüdiger Reischuk
Published in: J. Comput. Syst. Sci. (2019)
Keyphrases