2 papers
cs.DM1999
Map Graphs
Zhi-Zhong Chen, Michelangelo Grigni, Christos Papadimitriou
We consider a modified notion of planarity, in which two nations of a map are considered adjacent when they share any point of their boundaries (not necessarily an edge, as planari…
cs.AI1998
Incremental Recompilation of Knowledge
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…