Theory and Applications of Satisfiability Testing

@inproceedings{Giunchiglia2003TheoryAA,
  title={Theory and Applications of Satisfiability Testing},
  author={E. Giunchiglia and A. Tacchella},
  booktitle={Lecture Notes in Computer Science},
  year={2003}
}
ion-Driven SAT-based Analysis of Security Protocols . . . . . . . . . . 257 Alessandro Armando, Luca Compagna A Case for Efficient Solution Enumeration . . . . . . . . . . . . . . . . . . . . . . . . . . . 272 Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287 Lintao Zhang, Sharad Malik Local Consistencies in SAT… Expand
An effective probability distribution SAT solver on reconfigurable hardware
Backdoor Sets for DLL Subsolvers
  • Stefan Szeider
  • Computer Science, Mathematics
  • Journal of Automated Reasoning
  • 2005
SAT-based model-checking for security protocols analysis
Efficient software product-line model checking using induction and a SAT solver
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 66 REFERENCES
On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
Solving difficult SAT instances in the presence of symmetry
SATO: An Efficient Propositional Prover
Analysis of Two Simple Heuristics on a Random Instance of k-SAT
Dependent and Independent Variables in Propositional Satisfiability
Some Results on Random Unsatisfiable k-Sat Instances and Approximation Algorithms Applied to Random Structures
A study of proof search algorithms for resolution and polynomial calculus
  • M. Bonet, Nicola Galesi
  • Mathematics, Computer Science
  • 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)
  • 1999
Tuning SAT Checkers for Bounded Model Checking
SAT Local Search Algorithms: Worst-Case Study
  • E. A. Hirsch
  • Mathematics, Computer Science
  • Journal of Automated Reasoning
  • 2004
A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search
...
1
2
3
4
5
...