Open AccessThe Complexity of LTL on Finite Traces: Hard and Easy Fragments
Author(s) -
Valeria Fionda,
Gianluigi Greco
Publication year - 2016
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v30i1.10104
Subject(s) - satisfiability , boolean satisfiability problem , theoretical computer science , semantic reasoner , property (philosophy) , computer science , computational complexity theory , domain (mathematical analysis) , pspace , algorithm , mathematics , discrete mathematics , artificial intelligence , mathematical analysis , philosophy , epistemology