Polynomial Reduction from PESP to SAT

From International Center for Computational Logic
Toggle side column

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
@techreport{G2011,
  author      = {Peter Grossmann},
  title       = {Polynomial Reduction from {PESP} to {SAT}},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2011}
}