Stable Models for Stubborn Sets

Research output: Contribution to journalArticle

Standard

Stable Models for Stubborn Sets. / Varpaaniemi, K.

In: Fundamenta Informaticae, Vol. 43, No. 1-4, 2000, p. 355-375.

Research output: Contribution to journalArticle

Harvard

Varpaaniemi, K 2000, 'Stable Models for Stubborn Sets', Fundamenta Informaticae, vol. 43, no. 1-4, pp. 355-375.

APA

Varpaaniemi, K. (2000). Stable Models for Stubborn Sets. Fundamenta Informaticae, 43(1-4), 355-375.

Vancouver

Varpaaniemi K. Stable Models for Stubborn Sets. Fundamenta Informaticae. 2000;43(1-4):355-375.

Author

Varpaaniemi, K. / Stable Models for Stubborn Sets. In: Fundamenta Informaticae. 2000 ; Vol. 43, No. 1-4. pp. 355-375.

Bibtex - Download

@article{ea6054792d4a47aa976dee2979d17b5d,
title = "Stable Models for Stubborn Sets",
keywords = "NP-completeness, reachability analysis, reduced state space generation, stable models, stubborn sets, variable-free logic programs, NP-completeness, reachability analysis, reduced state space generation, stable models, stubborn sets, variable-free logic programs, NP-completeness, reachability analysis, reduced state space generation, stable models, stubborn sets, variable-free logic programs",
author = "K. Varpaaniemi",
year = "2000",
language = "English",
volume = "43",
pages = "355--375",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS PRESS",
number = "1-4",

}

RIS - Download

TY - JOUR

T1 - Stable Models for Stubborn Sets

AU - Varpaaniemi, K.

PY - 2000

Y1 - 2000

KW - NP-completeness

KW - reachability analysis

KW - reduced state space generation

KW - stable models

KW - stubborn sets

KW - variable-free logic programs

KW - NP-completeness

KW - reachability analysis

KW - reduced state space generation

KW - stable models

KW - stubborn sets

KW - variable-free logic programs

KW - NP-completeness

KW - reachability analysis

KW - reduced state space generation

KW - stable models

KW - stubborn sets

KW - variable-free logic programs

M3 - Article

VL - 43

SP - 355

EP - 375

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

SN - 0169-2968

IS - 1-4

ER -

ID: 3418836