Reference : An algorithm for producing median formulas for Boolean functions

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/9596

Title :	An algorithm for producing median formulas for Boolean functions
Language :	English
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]
Publication date :	Jul-2011
Main document title :	Proc. of the Reed Muller 2011 Workshop
Pages :	49-54
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	Reed Muller 2011 Workshop
Event date :	from 25-05-2011 to 26-05-2011
Event place (city) :	Tuusula
Event country :	Finland
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.
Funders :	University of Luxembourg - UL
Name of the research project :	F1R-MTH-PUL-09MRDO > MRDO > 01/01/2009 - 31/12/2011 > MARICHAL Jean-Luc
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/9596
Other URL :	http://ticsp.cs.tut.fi/RM2011/

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access MedianR-M2011.pdf Author postprint 160.92 kB View/Open Limited access paper7.pdf Publisher postprint 5.58 MB Request a copy Additional material(s): File Commentary Size Access Open access Talk-ReedMuller.pdf Slides 135.45 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map