Ilka Schnoor

Available identifiers

zbMath Open schnoor.ilkaMaRDI QIDQ428851

List of research outcomes

Publication	Date of Publication	Type
Nonuniform Boolean constraint satisfaction problems with cardinality constraint	2015-09-17	Paper
The tractability of model checking for LTL	2015-09-17	Paper
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments	2015-03-23	Paper
Influence of tree topology restrictions on the complexity of haplotyping with missing data	2012-06-25	Paper
Generalized modal satisfiability	2010-08-18	Paper
Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data	2009-06-03	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic	2009-04-29	Paper
Partial Polymorphisms and Constraint Satisfaction Problems	2009-01-22	Paper
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint	2008-11-20	Paper
Generalized Modal Satisfiability	2008-03-19	Paper
Complexity of Default Logic on Generalized Conjunctive Queries	2007-11-13	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic	2007-09-07	Paper
Enumerating All Solutions for Constraint Satisfaction Problems	2007-09-03	Paper

Research outcomes over time

This page was built for person: Ilka Schnoor