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.

On OBDD-based algorithms and proof systems that dynamically change order of variables

Dmitry Itsykson, Alexander Knop, Andrei E. Romashchenko, Dmitry Sokolov 0001. On OBDD-based algorithms and proof systems that dynamically change order of variables. Electronic Colloquium on Computational Complexity (ECCC), 26:1, 2019. [doi]

Authors

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

Andrei E. Romashchenko

This author has not been identified. Look up 'Andrei E. Romashchenko' in Google

Dmitry Sokolov 0001

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