Hidden Units, Equivalences and Implications (Poster Presentation)

Norbert MantheyNorbert Manthey

Download

Norbert Manthey
Hidden Units, Equivalences and Implications (Poster Presentation)
Technical Report, Knowledge Representation and Reasoning, volume 12-05, October 2012

Details
Bibtex

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}
}