scientific article; zbMATH DE number 3889514
From MaRDI portal
Publication:3221973
Recommendations
Cited in
(21)- A restricted second order logic for finite structures
- On completeness for NP via projection translations
- A constant-space sequential model of computation for first-order logic
- A constant-space sequential model of computation for first-order logic
- Methods for proving completeness via logical reductions
- Complete problems for monotone NP
- Program Schemes with Deep Pushdown Storage
- Independence-friendly logic without Henkin quantification
- Parameterized Complexity Classes under Logical Reductions
- Succinct representation, leaf languages, and projection reductions
- A restricted second order logic for finite structures
- On the power of deep pushdown stacks
- Program schemes, arrays, Lindström quantifiers and zero-one laws
- Reducing the number of solutions of NP functions
- A useful transform of standard input data for a classical NP-complete problem
- A graph-transformational approach for proving the correctness of reductions between NP-problems
- Automatic Evaluation of Reductions between NP-Complete Problems
- scientific article; zbMATH DE number 4126690 (Why is no real title available?)
- On digraph coloring problems and treewidth duality
- scientific article; zbMATH DE number 408812 (Why is no real title available?)
- Nonuniform reductions and NP-completeness
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3221973)
