Robuta

https://en.wikipedia.org/wiki/3-SAT Boolean satisfiability problem - Wikipedia boolean satisfiability problem wikipedia https://www.muni.cz/en/research/publications/2308503 The satisfiability problem for a quantitative fragment of PCTL | Masaryk University | MUNI satisfiability problem https://arxiv.org/abs/1205.0852 [1205.0852] On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem Abstract page for arXiv paper 1205.0852: On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem on the parameterized complexity