Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding

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

Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding

Norbert MantheyNorbert Manthey,  Peter SteinkePeter Steinke
Norbert Manthey, Peter Steinke
Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
@techreport{MS2011,
  author      = {Norbert Manthey and Peter Steinke},
  title       = {Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2011}
}