9 citations · 52 across the 16 of their papers we have counts for
1 paper · 1 filter
Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii +1
We establish connections between the size of circuits and formulas computing monotone Boolean functions and the size of first-order and nonrecursive Datalog rewritings for conjunct…