Satisfiability and Theories

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2009-09-26 DOI:10.1109/SYNASC.2009.65

A. Voronkov

引用次数: 3

Abstract

We give a simple introduction to satisfiability modulo theories intended fornon-specialists. No previous background is assumed.

查看原文本刊更多论文

满意度和理论

我们给了一个简单的介绍可满足模理论的非专业人士。不假设以前的背景。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量