Solving SAT by algorithm transform of Wu's method

DOI10.1007/BF02948788zbMath0944.68196MaRDI QIDQ1966110

Bo Zhang, Simin He

Publication date: 24 February 2000

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

SATpropositional satisfiability problem

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Related Items (2)

A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers ⋮ Time-free solution to SAT problem by tissue P systems

Cites Work

• Unnamed Item
• The intractability of resolution
• Basic principles of mechanical theorem proving in elementary geometries
• A Machine-Oriented Logic Based on the Resolution Principle
• Automatic Theorem Proving With Renamable and Semantic Resolution
• A machine program for theorem-proving

This page was built for publication: Solving SAT by algorithm transform of Wu's method