It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer axioms than the original axioms. However, it not easy to determine if a given set of smallest not. Malbos and Mimram investigated general method find lower bound cardinality (or rewrite rules) equivalent theory term rewriting systems), using homological algebra. Their an analog Squier's hom...

Decision diagrams are an increasingly important tool in cutting-edge solvers for discrete optimization. However, the field of decision is relatively new, and still incorporating library techniques that conventional have had decades to build. We drew inspiration from warm-start technique used address one major challenges faced by diagram based methods. become more useful wider they allowed be, b...