Satisfiability Publications

Publications in Satisfiability

Explore the most influential research papers and scholarly works that have shaped Satisfiability. Use the concept filter below to focus on a specific sub-area of research.

Satisfiability

2.1K

Publications

112.9K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
The complexity of theorem-proving procedures Stephen Cook EngineeringVerificationAutomated ProofComputational ComplexityRecognition Problem	1971	6.1K
Chaff Matthew W. Moskewicz, Conor Madigan, Ying Zhao, Mathematical ProgrammingArtificial IntelligenceConstraint SolvingEngineeringConstraint Satisfaction	2001	2.9K
The complexity of satisfiability problems Thomas J. Schaefer Propositional FormulaEngineeringAutomated ReasoningSatisfiability ProblemsProof Complexity	1978	1.7K
GRASP: a search algorithm for propositional satisfiability João Marques‐Silva, Karem A. Sakallah IEEE Transactions on Computers Artificial IntelligenceEngineeringVerificationFormal VerificationConstraint Solving	1999	1.3K
The complexity of propositional linear temporal logics A. Prasad Sistla, E. M. Clarke Journal of the ACM Particular Finite StructureExtended LogicEngineeringAutomated ReasoningPropositional Logic	1985	1.1K
Analytic and Algorithmic Solution of Random Satisfiability Problems Marc Mézard, Giorgio Parisi, Riccardo Zecchina Science Mathematical ProgrammingEngineeringComputational ComplexityThreshold AlphacFormal Verification	2002	1K
Linear-time algorithms for testing the satisfiability of propositional horn formulae William F. Dowling, Jean Gallier The Journal of Logic Programming EngineeringAutomated ReasoningPropositional Horn FormulaeProof ComplexityVerification	1984	1K
On the Complexity of k-SAT Russell Impagliazzo, Ramamohan Paturi Journal of Computer and System Sciences EngineeringSat SolvingComputational ComplexityTime ComplexityComputer Science	2001	996
A linear-time algorithm for testing the truth of certain quantified boolean formulas Bengt Aspvall, Michael F. Plass, Robert E. Tarjan Information Processing Letters Mathematical ProgrammingEngineeringBoolean FunctionAutomated ReasoningLinear-time Algorithm	1979	893
SATzilla: Portfolio-based Algorithm Selection for SAT Lizhong Xu, Frank Hutter, Holger H. Hoos, Journal of Artificial Intelligence Research Mathematical ProgrammingArtificial IntelligenceEngineeringSoftware EngineeringComputational Complexity	2008	821
Solving SAT and SAT Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Journal of the ACM Decision ProcedureEngineeringAutomated ReasoningPropositional LogicPractical Dpll Algorithms	2006	766
Test pattern generation using Boolean satisfiability T. Larrabee IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Circuit ComplexityEngineeringAutomated ReasoningSoftware TestingVerification	1992	694

Page 1