An Abstract Framework for Satisfiability Modulo Theories

DOI10.1007/978-3-540-73099-6_3zbMath1132.68684OpenAlexW1541984257MaRDI QIDQ5434475

Cesare Tinelli

Publication date: 4 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73099-6_3

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: An Abstract Framework for Satisfiability Modulo Theories