# Finding Hard Instances of Satisfiability in Lukasiewicz Logics

> Research article (2015 IEEE International Symposium on Multiple-Valued Logic, 2015) · cited 13× · AI/ML

**Wikidata**: [openalex:W2122971007](https://www.wikidata.org/wiki/openalex:W2122971007)  
**Source**: https://4ort.xyz/entity/finding-hard-instances-of-satisfiability-in-lukasiewicz-logics