- Tytuł:
- Stable models for stubborn sets
- Autorzy:
- Varpaaniemi, K.
- Data publikacji:
- 2000
- Słowa kluczowe:
-
reachability analysis
reduced state space generation
stubborn sets
variable-free logic program
stable model
NP-completeness - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł