Documents Savoirs Algorithms for the satisfiability problem [Elektronische Ressource] / von Daniel Rolf Daniel Rolf