1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Denis Ponomaryov, Mikhail Soutchanski
In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of weakly-related or independent components. Howeve…