Details
| Original language | English |
|---|---|
| Journal | Logical methods in computer science: LMCS |
| Volume | 8 |
| Issue number | 3 |
| Publication status | Published - 2010 |
Keywords
- cs.CC, F.2.2
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Logical methods in computer science: LMCS, Vol. 8, No. 3, 2010.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Boolean Circuits as a Data Structure for Boolean Functions - Efficient Algorithms and Hard Problems
AU - Böhler, Elmar
AU - Creignou, Nadia
AU - Galota, Matthias
AU - Reith, Steffen
AU - Schnoor, Henning
AU - Vollmer, Heribert
N1 - Funding information: Supported by the Agence Nationale de la Recherche under grant ANR-09-BLAN-0011-01. Supported by DFG VO 630/6-2.
PY - 2010
Y1 - 2010
KW - cs.CC
KW - F.2.2
UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85011715889&partnerID=MN8TOARS
U2 - 10.2168/LMCS-8(3:31)2012
DO - 10.2168/LMCS-8(3:31)2012
M3 - Article
VL - 8
JO - Logical methods in computer science: LMCS
JF - Logical methods in computer science: LMCS
IS - 3
ER -