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

researchr

You are not signed in
Sign in
Sign up

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]

Abstract is missing.

runs on WebDSL