Logic Programs and Cardinality Constraints: Theory and Practice
T. Syrjänen. Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland, Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D12, (2009)
%0 Thesis
%1 Syrjanen09a
%A Syrjänen, Tommi
%C Espoo, Finland
%D 2009
%K answer-set-programming, asp, cardinality-contraints
%T Logic Programs and Cardinality Constraints: Theory and Practice
@phdthesis{Syrjanen09a,
added-at = {2011-05-04T16:04:17.000+0200},
address = {Espoo, Finland},
author = {Syrj\"{a}nen, Tommi},
biburl = {https://www.bibsonomy.org/bibtex/2c5484b8d0b85b03e205a597cc645bf76/baisemain},
citeulike-article-id = {5860249},
interhash = {b32db6c725c0543134445fff49ba228b},
intrahash = {c5484b8d0b85b03e205a597cc645bf76},
keywords = {answer-set-programming, asp, cardinality-contraints},
posted-at = {2009-09-30 16:31:13},
priority = {2},
school = {Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science},
timestamp = {2011-05-04T16:04:32.000+0200},
title = {{Logic Programs and Cardinality Constraints: Theory and Practice}},
type = {Doctoral dissertation, {TKK} {D}issertations in {I}nformation and {C}omputer {S}cience {TKK-ICS-D12}},
year = 2009
}