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: 3SAT

Protected: Single Execution Time Scheduling With Variable Number of Processors

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 3SAT, Difficulty 7, Single execution time scheduling with variable number of processors on February 16, 2018 by Sean T. McCulloch.

Protected: Register Sufficiency

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- Program Optimization and tagged 3SAT, Difficulty 9, PO1, Register Sufficiency on January 24, 2018 by Sean T. McCulloch.

Protected: Linear Bounded Automaton 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 Appendix- Automata and Language Theory and tagged 3SAT, AL3, Difficulty 5, Generic Reduction, Linear Bounded Automaton Acceptance on November 21, 2017 by Sean T. McCulloch.

Protected: Consistency of Database Frequency Tables

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: Storage and Retrieval and tagged 3SAT, Consistency of Database Frequency Tables, Difficulty 5, SR35 on November 15, 2017 by Sean T. McCulloch.

Protected: Tableau Equivalence

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: Storage and Retrieval and tagged 3SAT, Difficulty 7, SR32, Tableau Equivalence on October 18, 2017 by Sean T. McCulloch.

Protected: Non-Minimal Feedback Arc Set

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 3SAT, Feedback Arc Set, Non-Minimal Feedback Arc Set on June 29, 2017 by Sean T. McCulloch.

Protected: Hitting String

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: Storage and Retrieval and tagged 3SAT, Difficulty 4, Hitting String, SR12, uncited reduction on April 26, 2017 by Sean T. McCulloch.

Post navigation

Newer posts →

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