2-Xor revisited: satisfiability and probabilities of functions

E de Panafieu, D Gardy, B Gittenberger, M Kuba - Algorithmica, 2016 - Springer
Abstract The problem 2-Xor-Sat asks for the probability that a random expression, built as a
conjunction of clauses x ⊕ yx⊕ y, is satisfiable. We revisit this classical problem by giving …

[NAVOD][C] PROJET DE RECHERCHE: GRAPHES, HYPERGRAPHES ET GRAPHES INHOMOGÈNES

É DE PANAFIEU

[NAVOD][C] RECHERCHES PASSÉES

É DE PANAFIEU

[NAVOD][C] Combinatoire analytique des graphes, hypergraphes et graphes inhomogenes

SP CITÉ - 2014 - UNIVERSITÉ PARIS DIDEROT …