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 Fault Detection in Logic Circuits
Rex on Fault Detection in Logic Circuits
Rex on About the SIte
Sean T. McCulloch on Monotone 3-Satisfiability
Jean on Monotone 3-Satisfiability

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