`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:

### Wrote 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.