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...

Celý popis

Podrobná bibliografia

Vydané v:	IEEE transactions on computers Ročník 65; číslo 9; s. 2889 - 2895
Hlavní autori:	Amaru, Luca, Gaillardon, Pierre-Emmanuel, Chattopadhyay, Anupam, De Micheli, Giovanni
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 01.09.2016
Predmet:	Logic programming
ISSN:	0018-9340, 1557-9956
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!