Travelled to:1 × Austria
1 × Switzerland
1 × USA
Collaborated with:F.Capelli ∅ A.Durand S.Bova F.Slivovsky
Talks about:determinist (1) hypergraph (1) constraint (1) satisfact (1) character (1) structur (1) proposit (1) arithmet (1) problem (1) circuit (1)
Person: Stefan Mengel
DBLP: Mengel:Stefan
Contributed to:
20152014
2011Wrote 3 papers:
- SAT-2015-BovaCMS #compilation #on the
- On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
- SAT-2014-CapelliDM
- Hypergraph Acyclicity and Propositional Model Counting (FC, AD, SM), pp. 399–414.
- ICALP-v1-2011-Mengel #constraints #problem
- Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems — (SM), pp. 700–711.