BibTeX
@MISC{Kuželka_anote,
author = {Ondřej Kuželka and Jan Ramon},
title = {A Note on Restricted Forms of LGG},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We study existence of a restricted least general generalization (LGG) with the property that LGGs of clauses from a pre-fixed set belong to this set. We show that there is no such LGG even in simple sets of clauses such as bounded-size clauses or treewidth-1 clauses.
