Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

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


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)



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

None selected



Supplemental Material:
Preprint (pdf)

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