On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability (PUB-916)
On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability (2017) is listed in the DePaul Resource Map with a link to the published version (Information and Computation).
PUB-916 · 2017 · Information and Computation1
Publication landing page: authors, related facilities, grants, and sources.
Authors
Related facilities
- No facility links in records.
Related grants
- No grant links in records.
Sources
- Named in published methods or acknowledgments. Archived source retained by Resource Map maintainers. View current source