Riccardo Forth, Paul Molitor. Permutation Independent Comparison of Pseudo Boolean Functions. In Klaus Waldschmidt, Christoph Grimm, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. pages 79-88, VDE, 2000.
Abstract is missing.