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: Satisfiability

Protected: Non-Liveness of Free Choice Petri Nets

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: Miscellaneous and tagged Difficulty 6, MS3, Non-Liveness of Free Choice Petri Nets, Satisfiability on January 12, 2023 by Sean T. McCulloch.

Protected: Microcode Bit Optimization

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 Difficulty 8, Microcode Bit Optimization, PO10, Satisfiability on June 15, 2022 by Sean T. McCulloch.

Protected: Second Order Instantiation

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 8, LO19, Satisfiability, Second Order Instantiation on September 16, 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 the 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: Unification for Finitely Presented Algebras

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- Algebra and Number Theory and tagged AN17, Difficulty 4, Satisfiability, Unification for Finitely Presented Algebras on February 8, 2019 by Sean T. McCulloch.

Protected: Cost-Parametric Linear Programming

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- Mathematical Programming and tagged Cost-Parametric Linear Programming, Difficulty 9, DNF Non-Tautology, MP3, Satisfiability on June 28, 2018 by Sean T. McCulloch.

Protected: Non-Circular Satisfiability

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 3, Monotone Sat, Non-Circular Satisfiability, Satisfiability on October 27, 2017 by Sean T. McCulloch.

Protected: Planar 3-Satisfiability

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, Problems not in appendix and tagged Difficulty 8, Planar 3Sat, Satisfiability on September 13, 2016 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