On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables.

Dmitry Itsykson, Alexander Knop, Andrei Romashchenko, Dmitry Sokolov

Browse the full STACS paper archive.