Văn bản này: Satisfiability solvers are static analysers