Media type: E-Article Title: Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction Contributor: Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk Published: Springer Science and Business Media LLC, 2012 Published in: Journal of Automated Reasoning, 49 (2012) 4, Seite 493-550 Language: English DOI: 10.1007/s10817-011-9227-0 ISSN: 0168-7433; 1573-0670 Keywords: Artificial Intelligence ; Computational Theory and Mathematics ; Software Origination: Footnote: