Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Aus International Center for Computational Logic
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
Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@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}
}