Search results
From MaRDI portal
- (FPT); reduction to the pseudo-Boolean SAT problem; user-independent constraints; workflow satisfiability problem (WSP) Mathematics Subject Classification ID...15 bytes (73 words) - 03:31, 30 January 2024