Ilka Schnoor

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Nonuniform Boolean constraint satisfaction problems with cardinality constraint ACM Transactions on Computational Logic	2015-09-17	Paper
The tractability of model checking for LTL: the good, the bad, and the ugly fragments ACM Transactions on Computational Logic	2015-09-17	Paper
The tractability of model-checking for LTL: the good, the bad, and the ugly fragments Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Influence of tree topology restrictions on the complexity of haplotyping with missing data Theoretical Computer Science	2012-06-25	Paper
Generalized modal satisfiability Journal of Computer and System Sciences	2010-08-18	Paper
Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data Lecture Notes in Computer Science	2009-06-03	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic Logical Methods in Computer Science	2009-04-29	Paper
Partial Polymorphisms and Constraint Satisfaction Problems Complexity of Constraints	2009-01-22	Paper
Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint Computer Science Logic	2008-11-20	Paper
Generalized Modal Satisfiability STACS 2006	2008-03-19	Paper
Complexity of Default Logic on Generalized Conjunctive Queries Logic Programming and Nonmonotonic Reasoning	2007-11-13	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic Foundations of Software Science and Computational Structures	2007-09-07	Paper
Enumerating All Solutions for Constraint Satisfaction Problems STACS 2007	2007-09-03	Paper

Research outcomes over time

This page was built for person: Ilka Schnoor