Formula Simplifications as DRAT Derivations

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Formula Simplifications as DRAT Derivations

Norbert MantheyNorbert Manthey

Norbert Manthey
Formula Simplifications as DRAT Derivations
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{M2014,
  author = {Norbert Manthey},
  title  = {Formula Simplifications as {DRAT} Derivations},
  year   = {2014},
  month  = {September}
}