1 paper · 1 filter
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…