Satisfiability modulo relations: theory and applications
Many computational problems require reasoning about relational structures. Examples include high-level system design, architectural configuration of network systems, reasoning about ontologies, and verification of programs with linked data structures. Traditionally, relational models are translated...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
University of Iowa
2018
|
| Subjects: | |
| Online Access: | https://ir.uiowa.edu/etd/6614 https://ir.uiowa.edu/cgi/viewcontent.cgi?article=8113&context=etd |