Paper published in a book (Scientific congresses, symposiums and conference proceedings)
An algorithm for producing median formulas for Boolean functions
Couceiro, Miguel; Lehtonen, Erkko; Marichal, Jean-Luc et al.
2011In Proc. of the Reed Muller 2011 Workshop
Peer reviewed
 

Files


Full Text
MedianR-M2011.pdf
Author postprint (164.79 kB)
Download
Full Text Parts
paper7.pdf
Publisher postprint (5.71 MB)
Request a copy
Annexes
Talk-ReedMuller.pdf
Publisher postprint (138.7 kB)
Slides
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] We review various normal form representations of Boolean functions and outline a comparative study between them, which shows that the median normal form system provides representations that are more efficient than the classical DNF, CNF and Reed–Muller (polynomial) normal form representations. We present an algorithm for producing median normal form representations of Boolean functions.
Disciplines :
Mathematics
Computer science
Author, co-author :
Couceiro, Miguel ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
Lehtonen, Erkko ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Marichal, Jean-Luc ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
Waldhauser, Tamás ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
Language :
English
Title :
An algorithm for producing median formulas for Boolean functions
Publication date :
July 2011
Event name :
Reed Muller 2011 Workshop
Event place :
Tuusula, Finland
Event date :
from 25-05-2011 to 26-05-2011
Audience :
International
Main work title :
Proc. of the Reed Muller 2011 Workshop
Pages :
49-54
Peer reviewed :
Peer reviewed
Name of the research project :
F1R-MTH-PUL-09MRDO > MRDO > 01/01/2009 - 31/12/2011 > MARICHAL Jean-Luc
Funders :
University of Luxembourg - UL
Available on ORBilu :
since 29 October 2013

Statistics


Number of views
164 (8 by Unilu)
Number of downloads
146 (8 by Unilu)

Bibliography


Similar publications



Contact ORBilu