Travelled to:1 × Austria
1 × Italy
1 × USA
Collaborated with:S.Szeider S.Bova F.Capelli S.Mengel
Talks about:resolut (2) depend (2) determinist (1) structur (1) variabl (1) linear (1) comput (1) compil (1) dnnfs (1) time (1)
Person: Friedrich Slivovsky
DBLP: Slivovsky:Friedrich
Contributed to:
201520142012Wrote 3 papers:
- SAT-2015-BovaCMS #compilation #on the
- On Compiling CNFs into Structured Deterministic DNNFs (SB, FC, SM, FS), pp. 199–214.
- SAT-2014-SlivovskyS #dependence
- Variable Dependencies and Q-Resolution (FS, SS), pp. 269–284.
- SAT-2012-SlivovskyS #dependence #linear
- Computing Resolution-Path Dependencies in Linear Time , (FS, SS), pp. 58–71.