6 citations · 12 across the 6 of their papers we have counts for
1 paper · 2 filters
G. Gogic, C. H. Papadimitriou, M. Sideri
Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a form of ``k…