People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Backdoors for Linear Temporal Logic
Arne Meier
,
Sebastian Ordyniak
,
Ramanujan Sridharan
,
Irena Schindler
January 2016
PDF
Cite
DOI
Type
Conference Paper
Xtract
Cite
×