External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reordering Rule Makes OBDD Proof Systems Stronger

Sam Buss, Dmitry Itsykson, Alexander Knop, Dmitry Sokolov. Reordering Rule Makes OBDD Proof Systems Stronger. In Rocco A. Servedio, editor, 33rd Computational Complexity Conference, CCC 2018, June 22-24, 2018, San Diego, CA, USA. Volume 102 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Sam Buss

This author has not been identified. Look up 'Sam Buss' in Google

Dmitry Itsykson

This author has not been identified. Look up 'Dmitry Itsykson' in Google

Alexander Knop

This author has not been identified. Look up 'Alexander Knop' in Google

Dmitry Sokolov

This author has not been identified. Look up 'Dmitry Sokolov' in Google
runs on