Discussions of NP-Complete Problems

A Resource for Computer Science Educators

Skip to content

Home
About the SIte
Bibliography
How to get the archive password

Monthly Archives: January 2020

Protected: Modal Logic S5-Satisfiability

Enter your password to view comments.

This content is password protected. To view it please enter your password below:

Password:

This entry was posted in Appendix-Logic and tagged 3SAT, Difficulty 2, LO13, Modal Logic S5-Satisfiability on January 31, 2020 by Sean T. McCulloch.

Protected: First Order Theory of Equality

Enter your password to view comments.

This content is password protected. To view it please enter your password below:

Password:

This entry was posted in Appendix-Logic and tagged Difficulty 5, First Order Theory of Equality, Generic Reduction, LO12, QBF on January 17, 2020 by Sean T. McCulloch.

Protected: Truth-Functionally Complete Connectives

Enter your password to view comments.

This content is password protected. To view it please enter your password below:

Password:

This entry was posted in Appendix-Logic and tagged Difficulty 10, LO10, No G&J reference, Truth-Functionall;y Complete Connectives, uncited reduction on January 3, 2020 by Sean T. McCulloch.

Search for:

Recent Posts

Fault Detection in Logic Circuits March 8, 2024
Minimum Weight And/Or Graph Solution February 15, 2024
Decision Tree February 2, 2024
Simply Deviated Disjunction January 19, 2024
Matrix Cover January 8, 2024

Recent Comments

Sean T. McCulloch on Exact Cover by 3-Sets
nifets on Exact Cover by 3-Sets
Sean T. McCulloch on Fault Detection in Logic Circuits
Rex on Fault Detection in Logic Circuits
Rex on About the SIte

Archives

Categories

Algebra and Number Theory
Appendix- Algebra and Number Theory
Appendix- Automata and Language Theory
Appendix- Games and Puzzles
Appendix- Mathematical Programming
Appendix- Network Design
Appendix- Program Optimization
Appendix- Sets and Partitions
Appendix-Graph Theory
Appendix-Logic
Appendix: Miscellaneous
Appendix: Sequencing and Scheduling
Appendix: Storage and Retrieval
Chapter 3 Exercises
Core Problems
Overview
Problems not in appendix
Uncategorized

Proudly powered by WordPress