logo

Video encyclopedia

RecycleUnits

0:11

Kids Edu Solar Recycle Units

0:07

MUB Recycle Units

0:27

2019 Freightliner M2 106-Refuse/Recycle Truck interior

3:25

Renault ZOE review & road test spring 2013 by Sust-it

3:36

SWTOR: Guide - How To Get A Pink / Magenta Color Crystal

In mathematical logic, proof compression by RecycleUnits is a method for compressing propositional logic resolution proofs. Its main idea is to make use of intermediate proof results being unit clauses, i.e. clauses containing only one literal. Certain proof nodes can be replaced with the nodes representing these unit clauses. After this operation the obtained graph is transformed into a valid proof. The output proof is shorter than the original while being equivalent or stronger.
    Explore contextually related video stories in a new eye-catching way. Try Combster now!