U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

Journal Article

Separating OR, SUM, and XOR Circuits

Published: August 23, 2016
Citation: Journal of Computer and System Sciences vol. 82, no. 5, (August 2016) pp. 793-801

Author(s)

Magnus Find (NIST), Mika Göös (University of Toronto), Matti Järvisalo (University of Helsinki), Petteri Kaski (Aalto University), Mikko Koivisto (University of Helsinki), Janne Korhonen (University of Helsinki)

Abstract

Keywords

boolean arithmetic; idempotent arithmetic; monotone separations; arithmetic circuits; rewriting
Control Families

None selected

Documentation

Publication:
https://doi.org/10.1016/j.jcss.2016.01.001

Supplemental Material:
Preprint (pdf)

Document History:
08/23/16: Journal Article (Final)