SMT-based verification applied to non-convex optimization problems

SMT-based verification applied to non-convex optimization problems

This paper presents a novel, complete, and flexible optimization algorithm, which relies on recursive executions that re-constrains a model-checking procedure based on Satisfiability Modulo Theories (SMT). This SMT-based optimization technique is able to optimize a wide range of functions, including...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Araujo, R, Bessa, I, Cordeiro, L, Filho, J
Формат:	Conference item
Хэвлэсэн:	Institute of Electrical and Electronics Engineers 2017

Ижил төстэй зүйлс

Predicting SMT Solver Performance for Software Verification
-н: Andrew Healy, зэрэг
Хэвлэсэн: (2017-01-01)

Modular SMT-Based Verification of Rule-Based Hardware Designs
-н: Wright, Andrew C.
Хэвлэсэн: (2022)

SAT and SMT-Based Verification of Security Protocols Including Time Aspects
-н: Sabina Szymoniak, зэрэг
Хэвлэсэн: (2021-04-01)

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
-н: Bence Czipó, зэрэг
Хэвлэсэн: (2017-03-01)

Applying SMT Solvers to the Test Template Framework
-н: Maximiliano Cristiá, зэрэг
Хэвлэсэн: (2012-02-01)

Modular strategic SMT solving with SMT-RAT
-н: Kremer Gereon, зэрэг
Хэвлэсэн: (2018-08-01)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
-н: Antonino, P, зэрэг
Хэвлэсэн: (2019)

Formal non-fragile stability verification of digital control systems with uncertainty
-н: Bessa, I, зэрэг
Хэвлэсэн: (2016)

Counterexample guided inductive optimization applied to mobile robots path planning
-н: Araújo, R, зэрэг
Хэвлэсэн: (2017)

Stream−based Randomised Language Models for SMT
-н: Levenberg, A, зэрэг
Хэвлэсэн: (2009)

Integrating the TRIZ and Taguchi's Method in the Optimization of Processes Parameters for SMT
-н: Yung-Tsan Jou, зэрэг
Хэвлэсэн: (2013-01-01)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
-н: A. Niewiadomski, зэрэг
Хэвлэсэн: (2018-12-01)

Material Replenishment System For SMT Kitting
-н: Ong, Xuan Zhi
Хэвлэсэн: (2016)

Material Replenishment System For SMT Kitting
-н: Ong, Xuan Zhi
Хэвлэсэн: (2016)

SMT-Annual Meeting 2011 in Minneapolis
-н: Jan Philipp Sprick
Хэвлэсэн: (2011-01-01)

Homologi Gen Seleno Metiltransferase (smt) pada Geobacillus sp. 20k dengan smt Astragalus bisulcatus
-н: Evi Triana, зэрэг
Хэвлэсэн: (2010-09-01)

SMT defect reduction using DMAIC methodology /
-н: L. Thiruvarasu Letchumanan, 1980-, зэрэг
Хэвлэсэн: (2009)

SMT-Based Consistency Checking of Configuration-Based Components Specifications
-н: Laura Pandolfo, зэрэг
Хэвлэсэн: (2021-01-01)

Approximate counting in SMT and value estimation for probabilistic programs
-н: Chistikov, D, зэрэг
Хэвлэсэн: (2017)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
-н: MPRC, Pusat Media & Perhubungan Awam
Хэвлэсэн: (2015)

Reasoning with Finite Sets and Cardinality Constraints in SMT
-н: Kshitij Bansal, зэрэг
Хэвлэсэн: (2018-11-01)

表面安装技术（SMT）应用简介
-н: 汤大伦
Хэвлэсэн: (1994-01-01)

Importing SMT and Connection proofs as expansion trees
-н: Giselle Reis
Хэвлэсэн: (2015-07-01)

SyGuS Techniques in the Core of an SMT Solver
-н: Andrew Reynolds, зэрэг
Хэвлэсэн: (2017-11-01)

Data-Driven Scheduling Optimization for SMT Lines Using SMD Reel Commonality
-н: Jorge Quijano, зэрэг
Хэвлэсэн: (2025-01-01)

SMT-based model checking of max-plus linear systems
-н: Mufid, MSU, зэрэг
Хэвлэсэн: (2021)

Vibration analysis on SMT machine (base plate and body frame) /
-н: Mohd. Syaiful Amin Abdul Rahim, 1988-, зэрэг
Хэвлэсэн: (2011)

An Approach for Detecting Infeasible Paths Based on a SMT Solver
-н: Shujuan Jiang, зэрэг
Хэвлэсэн: (2019-01-01)

Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
-н: Gadelha, M, зэрэг
Хэвлэсэн: (2017)

<it>In vitro</it> characterisation of Spontaneous Mammary Tumour (SMT1) cells and its matched lung metastatic (SMT1L) cells
-н: Wong TC, зэрэг
Хэвлэсэн: (2012-07-01)

Characterisation of utrophin modulator SMT C1100 as a non-competitive inhibitor of firefly luciferase
-н: Wilkinson, I, зэрэг
Хэвлэсэн: (2019)

Elephant Herding Optimization for Solving Non-convex Optimal Power Flow Problem
-н: BENTOUATI Bachir, зэрэг
Хэвлэсэн: (2017-05-01)

Scheduling Optimization of Time-Triggered Cyber-Physical Systems Based on Fuzzy-Controlled QPSO and SMT Solver
-н: Jie Jian, зэрэг
Хэвлэсэн: (2020-02-01)

Non-Well-Posed Problem and Logarithmit Convexity /
-н: Symposium on Non-Well-Posed Problem and Logarithmic Convexity (1972 : Scotland), зэрэг
Хэвлэсэн: (1973)

Vibration analysis on SMT machine (static camera holder) /
-н: Sufian Mohd. Isa, 1988-, зэрэг
Хэвлэсэн: (2011)

Effect Of Pressure And Droplet Number On Smt Adhesive Dispensing
-н: Yusoff, Nur Maisara Mohamed
Хэвлэсэн: (2019)

Towards defect free SMT reflow soldering process /
-н: 181409 Yow, Huoy Thyng
Хэвлэсэн: (2002)

Simulation of a surface mount technology (SMT) system
-н: Tan, Lai Soon.
Хэвлэсэн: (2008)

Using Synchronous TAG for Source-Side Reordering in SMT
-н: Amin Mansouri, зэрэг
Хэвлэсэн: (2013-12-01)

Language and Proofs for Higher-Order SMT (Work in Progress)
-н: Haniel Barbosa, зэрэг
Хэвлэсэн: (2017-12-01)