| 2008 |
|---|
| 8 | EE | Edith Hemaspaandra,
Henning Schnoor,
Ilka Schnoor:
Generalized Modal Satisfiability
CoRR abs/0804.2729: (2008) |
| 7 | EE | Michael Bauland,
Martin Mundhenk,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
CoRR abs/0805.0498: (2008) |
| 2007 |
|---|
| 6 | EE | Michael Bauland,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Complexity of Generalized Satisfiability for Linear Temporal Logic.
FoSSaCS 2007: 48-62 |
| 5 | EE | Philippe Chapdelaine,
Miki Hermann,
Ilka Schnoor:
Complexity of Default Logic on Generalized Conjunctive Queries.
LPNMR 2007: 58-70 |
| 4 | EE | Henning Schnoor,
Ilka Schnoor:
Enumerating All Solutions for Constraint Satisfaction Problems.
STACS 2007: 694-705 |
| 2006 |
|---|
| 3 | EE | Henning Schnoor,
Ilka Schnoor:
Enumerating all Solutions for Constraint Satisfaction Problems.
Complexity of Constraints 2006 |
| 2 | EE | Henning Schnoor,
Ilka Schnoor:
New Algebraic Tools for Constraint Satisfaction.
Complexity of Constraints 2006 |
| 1 | EE | Michael Bauland,
Edith Hemaspaandra,
Henning Schnoor,
Ilka Schnoor:
Generalized Modal Satisfiability.
STACS 2006: 500-511 |
