Polynomial Reduction from PESP to SAT

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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}
}