Resolution and binary decision diagrams cannot simulate each other polynomially

J.F. Groote, H. Zantema

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht, The Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume2000-14
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 2000

Keywords

  • Mathematics
  • Informatica
  • Landbouwwetenschappen
  • Natuurwetenschappen

Cite this