Formula Simplifications as DRAT Derivations

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

Formula Simplifications as DRAT Derivations

Norbert MantheyNorbert Manthey
Formula Simplifications as DRAT Derivations


Norbert Manthey
Formula Simplifications as DRAT Derivations
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014
@misc{M2014,
  author = {Norbert Manthey},
  title  = {Formula Simplifications as {DRAT} Derivations},
  year   = {2014},
  month  = {September}
}