Separating OR, SUM, and XOR Circuits

Magnus Find; Mika Göös; Matti Järvisalo; Petteri Kaski; Mikko Koivisto; Janne H. Korhonen

doi:10.1016/j.jcss.2016.01.001

Separating OR, SUM, and XOR Circuits

Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Journal	Journal of Computer and System Sciences
Volume	82
Issue number	5
Pages (from-to)	793-801
Number of pages	9
ISSN	0022-0000
DOIs	https://doi.org/10.1016/j.jcss.2016.01.001
Publication status	Published - Aug 2016
MoE publication type	A1 Journal article-refereed

Fields of Science

113 Computer and information sciences

Access to Document

10.1016/j.jcss.2016.01.001

https://arxiv.org/abs/1304.0513

Notkeita eksponentiaalisia algoritmeja
Koivisto, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2018
Project: Research project
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project

Cite this

@article{b256496840f845409c0b1d674cfae208,

title = "Separating OR, SUM, and XOR Circuits",

keywords = "113 Computer and information sciences",

author = "Magnus Find and Mika G{\"o}{\"o}s and Matti J{\"a}rvisalo and Petteri Kaski and Mikko Koivisto and Korhonen, {Janne H.}",

year = "2016",

month = aug,

doi = "10.1016/j.jcss.2016.01.001",

language = "English",

volume = "82",

pages = "793--801",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "ACADEMIC PRESS INC ELSEVIER SCIENCE",

number = "5",

}

TY - JOUR

T1 - Separating OR, SUM, and XOR Circuits

AU - Find, Magnus

AU - Göös, Mika

AU - Järvisalo, Matti

AU - Kaski, Petteri

AU - Koivisto, Mikko

AU - Korhonen, Janne H.

PY - 2016/8

Y1 - 2016/8

KW - 113 Computer and information sciences

U2 - 10.1016/j.jcss.2016.01.001

DO - 10.1016/j.jcss.2016.01.001

M3 - Article

SN - 0022-0000

VL - 82

SP - 793

EP - 801

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

IS - 5

ER -

Separating OR, SUM, and XOR Circuits

Fields of Science

Access to Document

Projects

Notkeita eksponentiaalisia algoritmeja

Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting

Cite this