BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mengel:Stefan

Contributed to:

SAT 20152015
SAT 20142014
ICALP (1) 20112011

Wrote 3 papers:

SAT-2015-BovaCMS #compilation #on the
On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.