Skip to content

Discussions of NP-Complete Problems

A Resource for Computer Science Educators

Home
About the SIte
Bibliography
How to get the archive password

Tag Archives: QBF

Protected: Linear Space Acceptance

Enter your password to view comments.

This content is password-protected. To view it, please enter the password below.

Password:

This entry was posted in Problems not in appendix and tagged Difficulty 4, Linear Bounded Automaton Acceptance, Linear Space Acceptance, Not in Appendix, QBF on November 25, 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 the 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: Pre-Partitioned Truth Assignment

Enter your password to view comments.

This content is password-protected. To view it, please enter the password below.

Password:

This entry was posted in Problems not in appendix and tagged Difficulty 9, Pre-Partioned Truth Assignment, QBF on April 26, 2019 by Sean T. McCulloch.

Protected: Generalized Kayles

Enter your password to view comments.

This content is password-protected. To view it, please enter the password below.

Password:

This entry was posted in Appendix- Games and Puzzles and tagged Difficulty 7, Generalized Kayles, GP3, QBF, Sequential Truth Assignment on March 29, 2019 by Sean T. McCulloch.

Protected: Generalized Geography

Enter your password to view comments.

This content is password-protected. To view it, please enter the password below.

Password:

This entry was posted in Appendix- Games and Puzzles and tagged Difficulty 7, Generalized Geography, QBF, Sequential Truth Assignment on March 15, 2019 by Sean T. McCulloch.

Protected: Sequential Truth Assignment

Enter your password to view comments.

This content is password-protected. To view it, please enter the password below.

Password:

This entry was posted in Appendix- Games and Puzzles and tagged 3SAT, Difficulty 5, GP4, QBF, Sequential Truth Assignment on March 8, 2019 by Sean T. McCulloch.

Protected: Generalized Hex

Enter your password to view comments.

This content is password-protected. To view it, please enter the password below.

Password:

This entry was posted in Appendix- Games and Puzzles and tagged Difficulty 8, Generalized Hex, GP1, QBF on March 1, 2019 by Sean T. McCulloch.

Protected: Quantified Boolean Formulas

Enter your password to view comments.

This content is password-protected. To view it, please enter the password below.

Password:

This entry was posted in Appendix-Logic and tagged 3SAT, Difficulty 3, LO11, QBF, uncited reduction on February 22, 2019 by Sean T. McCulloch.

Search for:

Recent Posts

And That’s It! August 21, 2025
Fault Detection With Test Points August 20, 2025
Fault Detection in Directed Graphs August 13, 2025
Fault Detection in Logic Circuits March 8, 2024
Minimum Weight And/Or Graph Solution February 15, 2024

Recent Comments

Sean T. McCulloch on And That’s It!
Greg Hamerly on And That’s It!
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

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