Proving Infinite Satisfiability

DOI10.1007/978-3-642-45221-5_6zbMath1406.68019OpenAlexW2137526931MaRDI QIDQ2870117

Joshua Bax, Peter Baumgartner

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_6

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (1)

Model Finding for Recursive Functions in SMT

Uses Software

• SPASS+T
• z3

This page was built for publication: Proving Infinite Satisfiability