<div class="csl-bib-body">
<div class="csl-entry">De Panafieu, E., Gardy, D., Gittenberger, B., & Kuba, M. (2014). Probabilities of 2-XOR functions. In A. Pardo & A. Viola (Eds.), <i>LATIN 2014: Theoretical Informatics</i> (pp. 454–465). Springer Verlag Berlin-Heidelberg. https://doi.org/10.1007/978-3-642-54423-1_40</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/28498
-
dc.description.abstract
The problem 2-Xor-Sat asks for the probability that a random expression, built as a conjunction of clauses x ⊕ y, is satisfiable. We consider here a refinement of this question, namely the probability that a random expression computes a specific Boolean function. The answer involves a description of 2-Xor expressions as multigraphs, and uses classical methods of analytic combinatorics.
en
dc.publisher
Springer Verlag Berlin-Heidelberg
-
dc.title
Probabilities of 2-XOR functions
-
dc.type
Buchbeitrag
de
dc.type
Book Contribution
en
dc.relation.publication
LATIN 2014: Theoretical Informatics
-
dc.contributor.affiliation
Université de Versailles Saint-Quentin-en-Yvelines, France
-
dc.relation.isbn
978-3-642-54423-1
-
dc.relation.doi
10.1007/978-3-642-54423-1
-
dc.relation.issn
0302-9743
-
dc.description.startpage
454
-
dc.description.endpage
465
-
dc.type.category
Edited Volume Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
Berlin-Heidelberg, Germany
-
tuw.booktitle
LATIN 2014: Theoretical Informatics
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer-Verlag Berlin
-
tuw.relation.publisherplace
Heidelberg
-
tuw.book.chapter
40
-
tuw.publication.orgunit
E104-05 - Forschungsbereich Kombinatorik und Algorithmen
-
tuw.publisher.doi
10.1007/978-3-642-54423-1_40
-
dc.description.numberOfPages
12
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.facultyfocus
Diskrete Mathematik und Geometrie
de
wb.facultyfocus
Discrete Mathematics and Geometry
en
wb.facultyfocus.faculty
E100
-
item.grantfulltext
none
-
item.openairetype
book part
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_3248
-
crisitem.author.dept
Université de Versailles Saint-Quentin-en-Yvelines
-
crisitem.author.dept
E104-05 - Forschungsbereich Kombinatorik und Algorithmen
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie