Cutting Planes for Signomial Programming

Authors

Liding Xu (ORCID: https://orcid.org/0000-0002-0286-1109)
Sonia Haddad-Vanier (ORCID: https://orcid.org/0000-0001-6390-8882)
Claudia D’Ambrosio (ORCID: https://orcid.org/0000-0002-4040-0960)
Leo Liberti

Institutions

Centre National de la Recherche Scientifique (FR)
École Polytechnique (FR)
Laboratoire d'Informatique de l'École Polytechnique (FR)
Institut Polytechnique de Paris (FR)
Université Paris 1 Panthéon-Sorbonne (FR)

Publication Details

Journal: SIAM Journal on Optimization
Published: 2025-04-28
DOI: https://doi.org/10.1137/23m1599537
Primary Topic: Formal Methods in Verification
Type: article
Field-Weighted Citation Impact: 0.00

Funders

Institut Polytechnique de Paris
Fondation de l'École Polytechnique

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Cutting Planes for Signomial Programming

Liding Xu, Sonia Haddad-Vanier, Claudia D’Ambrosio, Leo Liberti

Apr 28, 2025

SIAM Journal on Optimization

Formal Methods in Verification

article

Cutting Planes for Signomial Programming

Liding Xu, Sonia Haddad-Vanier, Claudia D’Ambrosio, Leo Liberti

April 28, 2025article en

Abstract

No abstract available for this paper.

SIAM Journal on OptimizationVol. 35(2)

Centre National de la Recherche Scientifique (FR), École Polytechnique (FR), Laboratoire d'Informatique de l'École Polytechnique (FR), Institut Polytechnique de Paris (FR), Université Paris 1 Panthéon-Sorbonne (FR)

Institut Polytechnique de Paris, Fondation de l'École Polytechnique

Openalex Percentile: Top 100%

Formal Methods in Verification

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.