Stable Models for Stubborn Sets

Tutkimustuotos: Lehtiartikkeli

Tutkijat

  • K. Varpaaniemi

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut355-375
JulkaisuFundamenta Informaticae
Vuosikerta43
Numero1-4
TilaJulkaistu - 2000
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

  • NP-completeness, reachability analysis, reduced state space generation, stable models, stubborn sets, variable-free logic programs

ID: 3418836