SPLICE Catalog

Exercise Title	Exercise Type	Description	Platform	Keywords
Circuit SAT to SAT	ss	Short Description...	OpenDSA	NP-completeness , NP-completeness , NP-completeness Proofs , Satisfiability , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
3-SAT to Clique Reduction		Short Description...	OpenDSA	3-SAT to Clique Reduction , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
Clique to IS Reduction	ss	Short Description...	OpenDSA	NP-completeness , NP-completeness , NP-completeness Proofs , Clique Problem , Independent Set Problem , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
IS to VC Reduction	ss	Short Description...	OpenDSA	NP-completeness , NP-completeness , NP-completeness Proofs , Independent Set Problem , Vertex Cover Problem , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
3-SAT to HC Reduction	ss	Short Description...	OpenDSA	NP-completeness , NP-completeness , NP-completeness Proofs , 3-SAT Problem , Hamiltonian Cycle Problem , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
HC to TSP Reduction	ss	Short Description...	OpenDSA	NP-completeness , NP-completeness , NP-completeness Proofs , Traveling Salesman Problem , Hamiltonian Cycle Problem , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
SkipListIntroCON	ss	Short Description...	OpenDSA	SkipList , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
SkipListInsertCON	ss	Short Description...	OpenDSA	SkipList , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
SkipListRmvCON	ss	Short Description...	OpenDSA	SkipListRmvCON , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
PRquadtreeAV	ss	Short Description...	OpenDSA	PRquadtreeAV , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
PRquadtree2ptAV	ss	Short Description...	OpenDSA	PRquadtree2ptAV , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
PRquadtreeInter	ss	Short Description...	OpenDSA	PRquadtreeInter , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
BintreeInter	ss	Short Description...	OpenDSA	BintreeInter , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
clique	ss	Short Description...	OpenDSA	clique , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
SATto3SATCON	ss	Short Description...	OpenDSA	NP-completeness , NP-completeness , NP-completeness Proofs , Satisfiability , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
threeSATtoCliqueCON	ss	Short Description...	OpenDSA	NP-completeness , NP-completeness , NP-completeness Proofs , Satisfiability , Clique Problem , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
parseTree4	ss	Short Description...	OpenDSA	Grammars1 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
Determine Number of nodes	ka	Short Description...	OpenDSA	Grammars1 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
String Generated By a Grammar	ka	Short Description...	OpenDSA	Grammars1 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
Characterizing a Language, Problem 1	ka	Short Description...	OpenDSA	Grammars1 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
Characterizing a Language, Problem 2	ka	Short Description...	OpenDSA	Grammars1 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
parseTree5a	ss	Short Description...	OpenDSA	Grammars2 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
parseTree5b	ss	Short Description...	OpenDSA	Grammars2 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
parseTree3	ss	Short Description...	OpenDSA	Grammars3 , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments
parseTree3a	ss	Short Description...	OpenDSA	parseTree3a , Software Engineering , Software Engineering , Object-Oriented Programming , Software Engineering , Variables and Assignments

SLC Item Catalog