Polynomial Reduction from PESP to SAT
Aus International Center for Computational Logic
Polynomial Reduction from PESP to SAT
Peter GrossmannPeter Grossmann
Peter Grossmann
Polynomial Reduction from PESP to SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Polynomial Reduction from PESP to SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{G2011,
author = {Peter Grossmann},
title = {Polynomial Reduction from {PESP} to {SAT}},
institution = {TU Dresden, Knowledge Representation and Reasoning},
year = {2011}
}
