Keyphrases
- pspace complete
- np complete
- model checking
- decision problems
- satisfiability problem
- exptime complete
- causal graph
- strips planning
- temporal logic
- tree automata
- constraint satisfaction problems
- domain independent
- np hard
- computational complexity
- search algorithm
- conjunctive queries
- phase transition
- multi agent systems
- decision making
- machine learning