Browsing CS Technical Reports by Subject "validity checking"
Now showing items 1-1 of 1
-
A Generalization of Staalmarck's Method
(University of Wisconsin-Madison Department of Computer Sciences, 2011-12)This paper gives an account of Staalmarck's method for validity checking of propositional-logic formulas, and explains each of the key components in terms of concepts from the field of abstract interpretation. We then ...