Search

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

Backdoors for linear temporal logic

Meier, Arne; Ordyniak, Sebastian; Sridharan, Ramanujan; Schindler, Irena (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)

Now showing items 1-1 of 1

Author
- Meier, Arne (1)
- Ordyniak, Sebastian (1)
- Schindler, Irena (1)
- Sridharan, Ramanujan (1)
Subject
- Backdoor detections (1)
- Backdoor sets (1)
- Backdoors (1)
- Computer circuits (1)
- Formal logic (1)
- Horn formulas (1)
- Konferenzschrift (1)
- Linear temporal logic (1)
- Parameter estimation (1)
- Parameterization (1)
- ... View More
Date Issued
- 2017 (1)
Language (ISO)
- eng (1)