Satisfiability and Theories

被引：1

作者：

Voronkov, Andrei ^{[1
]}

机构：

[1] Univ Manchester, Manchester M13 9PL, Lancs, England

来源：

11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009) | 2009年

关键词：

propositional logic; satisfiability; theory combination; decision procedures; satisfiability modulo theory;

D O I：

10.1109/SYNASC.2009.65

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：16 / 16

页数：1