Aleksandar Zeljić

Available identifiers

zbMath Open zeljic.aleksandarMaRDI QIDQ1799083

List of research outcomes

Publication	Date of Publication	Type
Efficient neural network analysis with sum-of-infeasibilities	2024-01-23	Paper
Global optimization of objective functions represented by ReLU networks	2023-10-24	Paper
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic	2021-12-08	Paper
Exploring approximations for floating-point arithmetic using UppSAT	2018-10-18	Paper
An approximation framework for solvers and decision procedures	2017-07-10	Paper
Deciding Bit-Vector Formulas with mcSAT	2016-09-05	Paper
Approximations for Model Construction	2014-09-26	Paper

Research outcomes over time

This page was built for person: Aleksandar Zeljić