-
1
Extending ACL2 with SMT Solvers
Published 2015-09-01“…We present our extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers using ACL2's trusted clause processor mechanism. …”
Get full text
Article -
2
Material Replenishment System For SMT Kitting
Published 2016“…Purpose – Surface Mounted Technology (SMT) requires hundreds of components in the electronics assembly process run in mass production. …”
Get full text
Monograph -
3
Material Replenishment System For SMT Kitting
Published 2016“…Purpose – Surface Mounted Technology (SMT) requires hundreds of components in the electronics assembly process run in mass production. …”
Get full text
Monograph -
4
Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
Published 2010-09-01“…Gene of smt has been characterized in selenium rich plant, Astragalus bisulcatus. …”
Get full text
Article -
5
-
6
表面安装技术（SMT）应用简介
Published 1994-01-01“…表面安装技术（ＳＭＴ）应用简介１什么是ＳＭＴ技术ＳＭＴ是英语ＳｕｒｆａｃｅＭｏｕｎｔ〕ｅｃｈｎｏｌｏｇｙ的缩写，即为表面安装技术，是当代世界上电子行业中最新的电子元器件装联技术。…”
Get full text
Article -
7
Predicting SMT Solver Performance for Software Verification
Published 2017-01-01“…The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. …”
Get full text
Article -
8
Importing SMT and Connection proofs as expansion trees
Published 2015-07-01“…In this work we present an implementation that takes SMT and Connection proof objects from two different provers and imports them both as expansion trees. …”
Get full text
Article -
9
Reasoning with Finite Sets and Cardinality Constraints in SMT
Published 2018-11-01“…The calculus has been designed to facilitate its implementation within SMT solvers based on the DPLL($T$) architecture. …”
Get full text
Article -
10
Applying SMT Solvers to the Test Template Framework
Published 2012-02-01“…In this paper, we present the first results of applying two SMT solvers, Yices and CVC3, as the engines to find test cases from TTF's test specifications. …”
Get full text
Article -
11
-
12
CELESTICA SUMBANG SMT LENGKAP KEPADA USM
Published 2015“…PULAU PINANG, 18 Februari 2015 - Syarikat Surface Mount Technology (SMT) terkemuka iaitu Celestica Malaysia Sdn. Bhd. …”
Get full text
Article -
13
-
14
-
15
-
16
-
17
Language and Proofs for Higher-Order SMT (Work in Progress)
Published 2017-12-01“…In this preliminary report, we report on an extension of the SMT-LIB language, the standard input format of SMT solvers, to handle higher-order constructs. …”
Get full text
Article -
18
SMT Solving for Functional Programming over Infinite Structures
Published 2016-04-01“…Internally, such sets are represented by logical formulas that define them, and an external satisfiability modulo theories (SMT) solver is regularly run by the interpreter to check their basic properties. …”
Get full text
Article -
19
Using Synchronous TAG for Source-Side Reordering in SMT
Published 2013-12-01“…Experimental results show that the presented reordering method combined with conventional or monotone phrase-based SMT, improves the translation quality respectively by 1.8 and 0.55 points regarding BLEU score.…”
Get full text
Article -
20