ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE ORDER OF VARIABLES
ITSYKSON, DMITRY, KNOP, ALEXANDER, ROMASHCHENKO, ANDREI, SOKOLOV, DMITRYJournal:
The Journal of Symbolic Logic
DOI:
10.1017/jsl.2019.53
Date:
June, 2020
File:
PDF, 725 KB
2020