Travelled to:1 × Austria
1 × USA
Collaborated with:S.Mengel A.Durand S.Bova F.Slivovsky
Talks about:determinist (1) hypergraph (1) structur (1) proposit (1) compil (1) model (1) dnnfs (1) count (1) acycl (1) cnfs (1)
Person: Florent Capelli
DBLP: Capelli:Florent
Contributed to:
20152014Wrote 2 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.