Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computational complexity
Algorithms
4
Edge modification problems
4
Graph classes
4
Graph theory
4
NP-completeness
4
Problem solving
4
Set theory
4
Theorem proving
4
Bounded program verifications
2
Coordinated graph recognition
2
Data flow analysis
2
Empirical evaluations
2
Formal logic
2
Formal methods
2
Logical representations
2
NP complete problems
2
NP-complete problems
2
Program translators
2
Propositional formulas
2
Propositional variables
2
SAT solvers
2
SAT-based bounded verification
2
Verification
2
Verification tools
2
{gem, C 4, odd hole}-free graphs
2
-
1Materias: “...NP-completeness...”
-
2Materias: “...NP-completeness...”
Artículo publishedVersion -
3Materias: “...NP-completeness...”
Artículo publishedVersion -
4Materias: “...NP-completeness...”
JOUR -
5
-
6Materias: “...NP-complete problems...”
JOUR -
7Materias: “...NP complete problems...”
-
8Materias: “...NP complete problems...”
SER