Reed-Muller 2007 A workshop on Applications of the Reed-Muller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology May 16, 2007, Oslo, Norway -------------------------------------------------------------------- Preliminary Program 09:00 - 09:10 Opening Remarks Session A 09:10 - 09:35 Building Free Binary Decision Diagrams Using SAT Solvers Robert Wille, Gorschwin Fey and Rolf Drechsler 09:35 - 10:00 Remarks on the Complexity of Arithmetic Representations of Elementary Functions for Circuit Design Radomir S. Stankovi- and Jaakko Astola 10:00 - 10:25 Most Complex Boolean Functions Bernd Steinbach 10:25 - 11:00 Refreshment Break and Discussion Session B 11:00 - 11:25 Characterization of Some Forms of Symmetry of Boolean Functions in the Reed Muller Spectral Domain Claudio Moraga and Radomir S. Stankovi- 11:25 - 11:50 Eigenfunction of Reed-Muller Transformations T. Sasao and J. T. Butler 11:50 - 12:15 Estimating the Quality of AND-EXOR Optimization Results Sebastian Kinder, Gorschwin Fey and Rolf Drechsler 12:15 - 13:30 Lunch (not included in registration fee) Session C 13:30 - 13:55 ESOP Transformation to Majority Gates for Quantum Dot Cellular Automata Logic Synthesis David Y. Feinstein and Mitchell A. Thornton 13:55 - 14:20 Some Remarks on Reversible Logic Synthesis Pawel Kerntopf 14:20 - 14:45 Realization of Incompletely Specified Functions in Minimized Reversible Cascades Manjith Kumar, Bala Iyer, Natalie Metzger, Ying Wang and Marek Perkowski 14:45 - 15:10 Synthesis and Optimization of Reversible Circuits Y. Van Rentergem and A. De Vos 15:10 - 15:35 Refreshment Break and Discussion Session D 15:35 - 16:00 Search for Universal Ternary Quantum Gate Sets with Exact Minimum Costs Normen Giesecke, Dong Hwa Kim, Sazzad Hossain and Marek Perkowski 16:00 - 16:25 Quantum Behaviors: Synthesis and Measurement Martin Lukac, Normen Giesecke, Sazzad Hossain, Marek Perkowski and Dong Hwa Kim 16:25 - 16: 50 Quantum Logic Circuit Simulation Based on the QMDD Data Structure David Goodman, Mitchell A. Thornton, David Y. Feinstein and D. Michael Miller Plenary Session 16:50 - 17:15 Planning Future RM Workshops