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

Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Lehti	Journal of Computer and System Sciences
Vuosikerta	82
Numero	5
Sivut	793-801
Sivumäärä	9
ISSN	0022-0000
DOI - pysyväislinkit	https://doi.org/10.1016/j.jcss.2016.01.001
Tila	Julkaistu - elok. 2016
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

10.1016/j.jcss.2016.01.001

https://arxiv.org/abs/1304.0513

Notkeita eksponentiaalisia algoritmeja
Koivisto, M. (Projektinjohtaja)
Unknown funder
01/09/2014 → 31/08/2018
Projekti: Tutkimusprojekti
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M. (Projektinjohtaja)
Unknown funder
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti

Siteeraa tätä

@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.",

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

Tieteenalat

Pääsy asiakirjaan

Projektit

Notkeita eksponentiaalisia algoritmeja

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Siteeraa tätä