Return to Article Details The Butterfly Algorithm: A Contradiction Solving Algorithm based on Propositional Logic for TRIZ Download Download PDF