activity
20042023
most citedThe joy of implications, aka pure Horn functions: mainly a survey

40 citations · 64 across the 27 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.AI2016★ 2 cited

ALLSAT compressed with wildcards: From CNF's to orthogonal DNF's by imposing the clauses one by one

Marcel Wild

We present a novel technique for converting a Boolean CNF into an orthogonal DNF, aka exclusive sum of products. Our method (which will be pitted against a hardwired command from M…