Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Boolean satisfiability problem

Known as: Counted Boolean Satisfiability Problem, 1-in-3-SAT, 3cnf-sat 
In computer science, the Boolean Satisfiability Problem (sometimes called Propositional Satisfiability Problem and abbreviated as SATISFIABILITY or… Expand
Wikipedia

Related topics

Related topics

50 relations
Circuit designComputational complexity theoryConcolic testingConjunctive normal form
Expand

Broader (2)

Electronic design automationFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Translating Pseudo-Boolean Constraints into SAT
In this paper, we describe and evaluate three dieren t techniques for translating pseudoboolean constraints (linear constraints… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Fault diagnosis and logic debugging using Boolean satisfiability
Recent advances in Boolean satisfiability have made it attractive to solve many digital VLSI design problems such as verification… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Efficient conflict driven learning in a Boolean satisfiability solver
One of the most important features of current state-of-the-art SAT solvers is the use of conflict based backtracking and learning… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
GRASP: A Search Algorithm for Propositional Satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), a new search algorithm for Propositional… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • table 1
Is this relevant?
Highly Cited
1996
Highly Cited
1996
GRASP-A new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Test pattern generation using Boolean satisfiability
  • Tracy Larrabee
  • IEEE Trans. on CAD of Integrated Circuits and…
  • 1992
    • Corpus ID: 206439496
The author describes the Boolean satisfiability method for generating test patterns for single stuck-at faults in combinational… Expand
  • figure I
  • figure I
  • figure I
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae
New algorithms for deciding whether a (propositional) Horn formula is satisfiable are presented. If the Horn formula A contains K… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
A simplified NP-complete satisfiability problem
3-SAT is NP-complete when restricted to instances where each variable appears in at most four clauses. When no variable appears… Expand
Is this relevant?
Highly Cited
1979
Highly Cited
1979
A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas
Let F = Qlxr Qzxz l ** Qnx, C be a quantified Boolean formula with no free variables, where each Qi is either 3 or t, and C is in… Expand
  • figure 1
Is this relevant?
Highly Cited
1978
Highly Cited
1978
The complexity of satisfiability problems
The problem of deciding whether a given propositional formula in conjunctive normal form is satisfiable has been widely studied… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE