%0 Book Section %1 paper:niemela:2001 %A Niemelä, Ilkka %A Simons, Patrik %C Norwell, MA, USA %D 2001 %E Minker, Jack %I Kluwer Academic Publishers %K constraints %P 491--521 %T Logic-based artificial intelligence %& Extending the Smodels system with cardinality and weight constraints

@incollection{paper:niemela:2001, added-at = {2011-09-19T08:08:21.000+0200}, address = {Norwell, MA, USA}, author = {Niemel\"{a}, Ilkka and Simons, Patrik}, biburl = {https://www.bibsonomy.org/bibtex/23b0ed66feb34f65d24aebbb526ea894a/mschuber}, chapter = {Extending the Smodels system with cardinality and weight constraints}, editor = {Minker, Jack}, interhash = {04b8f152f52cef2cfedb1a4bb872f4a3}, intrahash = {3b0ed66feb34f65d24aebbb526ea894a}, keywords = {constraints}, pages = {491--521}, publisher = {Kluwer Academic Publishers}, timestamp = {2011-09-19T08:08:21.000+0200}, title = {Logic-based artificial intelligence}, year = 2001 }