| dc.contributor.author |
Reps, Thomas |
|
| dc.contributor.author |
Thakur, Aditya |
|
| dc.date.accessioned |
2012-04-02T19:58:02Z |
|
| dc.date.available |
2012-04-02T19:58:02Z |
|
| dc.date.issued |
2011-12 |
|
| dc.identifier.citation |
TR1699 |
en |
| dc.identifier.uri |
http://digital.library.wisc.edu/1793/60979 |
|
| dc.description.abstract |
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 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. Staalmarck's method is one instantiation of the framework; other instantiations
lead to new decision procedures for propositional logic. |
en |
| dc.description.provenance |
Submitted by Jason Carter (jmcarter3@wisc.edu) on 2012-04-02T19:58:02Z
No. of bitstreams: 1
tr1699.pdf: 228818 bytes, checksum: 79050f14983e7931a6f47c48f769a345 (MD5) |
en |
| dc.description.provenance |
Made available in DSpace on 2012-04-02T19:58:02Z (GMT). No. of bitstreams: 1
tr1699.pdf: 228818 bytes, checksum: 79050f14983e7931a6f47c48f769a345 (MD5)
Previous issue date: 2011-12 |
en |
| dc.description.provenance |
Replaced PDF and abstract due to following changes:
- Cleaned up the theoretical description of the technique (by introducing the notion of an Acceptable splitting set).
- Added empirical evaluation of the proposed technique for satisfiability checking.
Jody Hoesly 2012-07-13 |
en |
| dc.description.provenance |
Replaced PDF due to correction to grant information. Jody Hoesly 2012-09-12 |
|
| dc.publisher |
University of Wisconsin-Madison Department of Computer Sciences |
en |
| dc.subject |
propositional logic |
en |
| dc.subject |
abstract interpretation |
en |
| dc.subject |
dilemma rule |
en |
| dc.subject |
validity checking |
en |
| dc.title |
A Generalization of Staalmarck's Method |
en |
| dc.type |
Technical Report |
en |
