A Sound and Complete Axiomatization of Majority- Logic

Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional synthesis tools. Also, the Boolean satisfiability problem finds new so...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on computers Jg. 65; H. 9; S. 2889 - 2895
Hauptverfasser:	Amaru, Luca, Gaillardon, Pierre-Emmanuel, Chattopadhyay, Anupam, De Micheli, Giovanni
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 01.09.2016
Schlagworte:	Logic programming
ISSN:	0018-9340, 1557-9956
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!