Travelled to:1 × Germany
1 × Italy
1 × Portugal
Collaborated with:I.Schnoor H.Vollmer N.Creignou J.Kontinen J.Müller M.Bauland T.Schneider
Talks about:constraint (2) satisfact (1) uniform (1) theorem (1) satisfi (1) problem (1) general (1) complex (1) boolean (1) benthem (1)
Person: Henning Schnoor
DBLP: Schnoor:Henning
Contributed to:
20152008
2007Wrote 3 papers:
- CSL-2015-KontinenMSV #semantics #theorem
- A Van Benthem Theorem for Modal Team Semantics (JK, JSM, HS, HV), pp. 277–291.
- CSL-2008-CreignouSS #constraints #problem
- Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (NC, HS, IS), pp. 109–123.
- FoSSaCS-2007-BaulandSSSV #complexity #linear #logic #satisfiability
- The Complexity of Generalized Satisfiability for Linear Temporal Logic (MB, TS, HS, IS, HV), pp. 48–62.