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: Wissensverarbeitung
@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} }