Discussions of NP-Complete Problems

A Resource for Computer Science Educators

Home
About the SIte
Bibliography
How to get the archive password

Category Archives: Appendix-Logic

Protected: Second Order Instantiation

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 8, LO19, Satisfiability, Second Order Instantiation on September 16, 2020 by Sean T. McCulloch.

Protected: First Order Subsumption

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 6, First Order Subsumption, LO18 on September 3, 2020 by Sean T. McCulloch.

Protected: Minimum Axiom Set

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 6, Difficulty 9, LO17, Minimum Axiom Set, Vertex Cover, X3C on August 20, 2020 by Sean T. McCulloch.

Protected: Predicate Logic Without Negation

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, LO15, Predicate Logic Without Negation on March 24, 2020 by Sean T. McCulloch.

Protected: Conjunctive Satisfiability with Functions and Inequalities

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 Conjunctive Satisfiability With Functions and Inequalities, Difficulty 8, Satisfiability on March 13, 2020 by Sean T. McCulloch.

Protected: Modal Logic Provability

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 8, LO14, Modal Logic Provability, QGF, Sequential Truth Assignment on February 14, 2020 by Sean T. McCulloch.

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.

Protected: Minimum Disjunctive Normal Form

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 9, LO7, LO8, LO9, Minimum Cover, Minimum Disjunctive Normal Form. on December 6, 2019 by Sean T. McCulloch.

← Older posts

Search for: