www.decision-procedures.org
2
Total Links
2
Wikipedia Pages
0
Subdomains
Topics
Related Domains
Wikipedia Pages Linking to www.decision-procedures.org
Satisfiability modulo theories
View on Wikipedia
1 links on this page
Tseytin transformation
View on Wikipedia
1 links on this page
Wikipedia Links
http://www.decision-procedures.org:
Anchor text: Decision procedures - an algorithmic point of view
http://www.decision-procedures.org/handouts/Tseitin70.pdf
Anchor text: G.S. Tseytin: On the complexity of derivation in propositional calculus. Presented at the Leningrad Seminar on Mathematical Logic held in September 1966.