id: 06105913
dt: a
an: 06105913
au: Thakur, Aditya; Reps, Thomas
ti: A generalization of Stålmarck’s method.
so: Miné, Antoine (ed.) et al., Static analysis. 19th international symposium,
    SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings.
    Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in
    Computer Science 7460, 334-351 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-33125-1_23
ab: Summary: This paper gives an account of Stålmarck’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 use these insights to present a framework for
    propositional-logic validity-checking algorithms that is parametrized
    by an abstract domain and operations on that domain. Stålmarck’s
    method is one instantiation of the framework; other instantiations lead
    to new decision procedures for propositional logic.
rv: