Symbolic Optimization With SMT Solvers

doi 10.1145/2535838.2535857
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Reasoning About Comprehensions With First-Order SMT Solvers

2009English

Extending DIVINE With Symbolic Verification Using SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Adding Decision Procedures to SMT Solvers Using Axioms With Triggers

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015English

Combining Symbolic Constraint Solvers on Algebraic Domains

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras

English

Optimal Solvers for PDE-Constrained Optimization

SIAM Journal of Scientific Computing
Computational MathematicsApplied Mathematics
2010English

Scalable Automated Symbolic Analysis of Administrative Role-Based Access Control Policies by SMT Solving1

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2012English

SAT, SMT and Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Multi-Dimensional Surrogate Based Aft Form Optimization of Ships Using High Fidelity Solvers

Brodogradnja
Ocean EngineeringMechanical Engineering
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy