Travelled to:1 × China
1 × Portugal
Collaborated with:D.Scheder A.Lauscher K.E.0001 L.Galke A.Scherp S.T.R.Rizvi S.Ahmed A.Dengel A.Klein
Talks about:citat (2) open (2) interconnect (1) unsatisfi (1) exponenti (1) contribut (1) conflict (1) satisfi (1) librari (1) databas (1)
Person: Philipp Zumstein
DBLP: Zumstein:Philipp
Contributed to:
20082007
2018Wrote 3 papers:
- SAT-2008-SchederZ #how #question #satisfiability
- How Many Conflicts Does It Need to Be Unsatisfiable? (DS, PZ), pp. 246–256.
- SAT-2007-SchederZ #exponential #product line #satisfiability
- Satisfiability with Exponential Families (DS, PZ), pp. 148–158.
- JCDL-2018-Lauscher0GSRADZ #database #graph #library
- Linked Open Citation Database: Enabling Libraries to Contribute to an Open and Interconnected Citation Graph (AL, KE0, LG, AS, STRR, SA, AD, PZ, AK), pp. 109–118.