Hidden Units, Equivalences and Implications (Poster Presentation)

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Hidden Units, Equivalences and Implications (Poster Presentation)

Norbert MantheyNorbert Manthey
Norbert Manthey
Hidden Units, Equivalences and Implications (Poster Presentation)
Technical Report, Knowledge Representation and Reasoning, volume 12-05, October 2012
  • KurzfassungAbstract
    A new search space pruning technique, hidden implications, is introduced. Although they are not implied by a formula, adding them preserves satisfiability. This paper shows how hidden implications can be found and how they can be used to find hidden units or hidden equivalences.
  • Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{M2012,
  author      = {Norbert Manthey},
  title       = {Hidden Units, Equivalences and Implications (Poster
                 Presentation)},
  institution = {Knowledge Representation and Reasoning},
  year        = {2012},
  month       = {October}
}