Separating signs in the propositional satisfiability problem

Keyphrases

• New Upper Bound 100%
• PRESENT Algorithm 100%
• Propositional Satisfiability Problem 100%
• Propositional Formula 100%
• Separation Principle 100%

Mathematics

• Upper Bound 100%
• Subproblem 50%