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...
Saved in:
| Published in: | IEEE transactions on computers Vol. 65; no. 9; pp. 2889 - 2895 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
New York
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
01.09.2016
|
| Subjects: | |
| ISSN: | 0018-9340, 1557-9956 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!