Proving Infinite Satisfiability
Date
2013
Authors
Baumgartner, Peter
Bax, Joshua
Journal Title
Journal ISSN
Volume Title
Publisher
Springer-Verlag Berlin Heidelberg
Abstract
We consider the problem of automatically disproving invalid conjectures over data structures such as lists and arrays over integers, in the presence of additional hypotheses over these data structures. We investigate a simple approach based on refutationa
Description
Keywords
Citation
Collections
Source
Type
Book chapter
Book Title
Lecture Notes in Computer Science: Logic for Programming, Artificial Intelligence and Reasoning
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description