Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian product
Abstract
We relate the decidability problem for BS with unordered cartesian product with Hilbert's Tenth problem and prove that BS with unordered cartesian product is NP-complete.
BibTeX
Loading...