Ilka Schnoor

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Influence of tree topology restrictions on the complexity of haplotyping with missing data.
Theor. Comput. Sci., 2012

2010
Nonuniform Boolean constraint satisfaction problems with cardinality constraint.
ACM Trans. Comput. Log., 2010

Generalized modal satisfiability.
J. Comput. Syst. Sci., 2010

2008
The weak base method for constraint satisfaction.
PhD thesis, 2008

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.
Electron. Colloquium Comput. Complex., 2008

Partial Polymorphisms and Constraint Satisfaction Problems.
Proceedings of the Complexity of Constraints, 2008

Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

Approximability of Manipulating Elections.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Enumerating All Solutions for Constraint Satisfaction Problems.
Proceedings of the STACS 2007, 2007

Complexity of Default Logic on Generalized Conjunctive Queries.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

2006
The Complexity of Generalized Satisfiability for Linear Temporal Logic.
Electron. Colloquium Comput. Complex., 2006

Generalized Modal Satisfiability.
Proceedings of the STACS 2006, 2006

New Algebraic Tools for Constraint Satisfaction.
Proceedings of the Complexity of Constraints, 01.10. - 06.10.2006, 2006


  Loading...