Ilka Schnoor

According to our database, Ilka Schnoor authored at least 13 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Influence of tree topology restrictions on the complexity of haplotyping with missing data.

Michael Elberfeld, Ilka Schnoor, Till Tantau

Theor. Comput. Sci., 2012

2010

Nonuniform Boolean constraint satisfaction problems with cardinality constraint.

Nadia Creignou, Henning Schnoor, Ilka Schnoor

ACM Trans. Comput. Log., 2010

Generalized modal satisfiability.

Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor

J. Comput. Syst. Sci., 2010

2008

The weak base method for constraint satisfaction.

Ilka Schnoor

PhD thesis, 2008

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.

Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

Electron. Colloquium Comput. Complex., 2008

Partial Polymorphisms and Constraint Satisfaction Problems.

Henning Schnoor, Ilka Schnoor

Proceedings of the Complexity of Constraints, 2008

Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.

Nadia Creignou, Henning Schnoor, Ilka Schnoor

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

Approximability of Manipulating Elections.

Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Enumerating All Solutions for Constraint Satisfaction Problems.

Henning Schnoor, Ilka Schnoor

Proceedings of the STACS 2007, 2007

Complexity of Default Logic on Generalized Conjunctive Queries.

Philippe Chapdelaine, Miki Hermann, Ilka Schnoor

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006

The Complexity of Generalized Satisfiability for Linear Temporal Logic.

Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

Electron. Colloquium Comput. Complex., 2006

Generalized Modal Satisfiability.

Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor

Proceedings of the STACS 2006, 2006

New Algebraic Tools for Constraint Satisfaction.

Henning Schnoor, Ilka Schnoor

Proceedings of the Complexity of Constraints, 01.10. - 06.10.2006, 2006