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á bibliografie

Vydáno v:	IEEE transactions on computers Ročník 65; číslo 9; s. 2889 - 2895
Hlavní autoři:	Amaru, Luca, Gaillardon, Pierre-Emmanuel, Chattopadhyay, Anupam, De Micheli, Giovanni
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 01.09.2016
Témata:	Logic programming
ISSN:	0018-9340, 1557-9956
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!