Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Conjugate symmetry

From MaRDI portal
Publication:548698
Jump to:navigation, search

DOI10.1007/S10703-011-0116-2zbMATH Open1219.94098OpenAlexW2913483809MaRDI QIDQ548698FDOQ548698

Peter M. Maurer

Publication date: 30 June 2011

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-011-0116-2



zbMATH Keywords

symmetric Boolean functionslogic simulation


Mathematics Subject Classification ID


Cites Work

  • Title not available (Why is that?)
  • Exploiting regularities for Boolean function synthesis
  • Title not available (Why is that?)
  • Generalized Reed-Muller forms as a tool to detect symmetries
  • Limits of using signatures for permutation independent Boolean comparison
  • Synthesis of autosymmetric functions in a new three-level form







This page was built for publication: Conjugate symmetry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548698)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:548698&oldid=12439075"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 30 January 2024, at 06:57. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki