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...

书目详细资料
Main Authors:	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, et al.
出版: (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, et al.
出版: (2021-04-01)

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
由: Bence Czipó, et al.
出版: (2017-03-01)

Applying SMT Solvers to the Test Template Framework
由: Maximiliano Cristiá, et al.
出版: (2012-02-01)

Modular strategic SMT solving with SMT-RAT
由: Kremer Gereon, et al.
出版: (2018-08-01)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
由: Antonino, P, et al.
出版: (2019)

Formal non-fragile stability verification of digital control systems with uncertainty
由: Bessa, I, et al.
出版: (2016)

Counterexample guided inductive optimization applied to mobile robots path planning
由: Araújo, R, et al.
出版: (2017)

Stream−based Randomised Language Models for SMT
由: Levenberg, A, et al.
出版: (2009)

Integrating the TRIZ and Taguchi's Method in the Optimization of Processes Parameters for SMT
由: Yung-Tsan Jou, et al.
出版: (2013-01-01)

SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
由: A. Niewiadomski, et al.
出版: (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, et al.
出版: (2010-09-01)

SMT defect reduction using DMAIC methodology /
由: L. Thiruvarasu Letchumanan, 1980-, et al.
出版: (2009)

SMT-Based Consistency Checking of Configuration-Based Components Specifications
由: Laura Pandolfo, et al.
出版: (2021-01-01)

Approximate counting in SMT and value estimation for probabilistic programs
由: Chistikov, D, et al.
出版: (2017)

CELESTICA SUMBANG SMT LENGKAP KEPADA USM
由: MPRC, Pusat Media & Perhubungan Awam
出版: (2015)

Reasoning with Finite Sets and Cardinality Constraints in SMT
由: Kshitij Bansal, et al.
出版: (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, et al.
出版: (2017-11-01)

Data-Driven Scheduling Optimization for SMT Lines Using SMD Reel Commonality
由: Jorge Quijano, et al.
出版: (2025-01-01)

SMT-based model checking of max-plus linear systems
由: Mufid, MSU, et al.
出版: (2021)

Vibration analysis on SMT machine (base plate and body frame) /
由: Mohd. Syaiful Amin Abdul Rahim, 1988-, et al.
出版: (2011)

An Approach for Detecting Infeasible Paths Based on a SMT Solver
由: Shujuan Jiang, et al.
出版: (2019-01-01)

Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
由: Gadelha, M, et al.
出版: (2017)

<it>In vitro</it> characterisation of Spontaneous Mammary Tumour (SMT1) cells and its matched lung metastatic (SMT1L) cells
由: Wong TC, et al.
出版: (2012-07-01)

Characterisation of utrophin modulator SMT C1100 as a non-competitive inhibitor of firefly luciferase
由: Wilkinson, I, et al.
出版: (2019)

Elephant Herding Optimization for Solving Non-convex Optimal Power Flow Problem
由: BENTOUATI Bachir, et al.
出版: (2017-05-01)

Scheduling Optimization of Time-Triggered Cyber-Physical Systems Based on Fuzzy-Controlled QPSO and SMT Solver
由: Jie Jian, et al.
出版: (2020-02-01)

Non-Well-Posed Problem and Logarithmit Convexity /
由: Symposium on Non-Well-Posed Problem and Logarithmic Convexity (1972 : Scotland), et al.
出版: (1973)

Vibration analysis on SMT machine (static camera holder) /
由: Sufian Mohd. Isa, 1988-, et al.
出版: (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, et al.
出版: (2013-12-01)

Language and Proofs for Higher-Order SMT (Work in Progress)
由: Haniel Barbosa, et al.
出版: (2017-12-01)