English
Related papers

Related papers: Compiling Stochastic Constraint Programs to And-Or…

200 papers

Constraint programming (CP) is a powerful technique for solving constraint satisfaction and optimization problems. In CP solvers, the variable ordering strategy used to select which variable to explore first in the solving process has a…

Artificial Intelligence · Computer Science 2023-04-13 Yuan Sun , Su Nguyen , Dhananjay Thiruvady , Xiaodong Li , Andreas T. Ernst , Uwe Aickelin

Two-stage stochastic programs (2SPs) are important tools for making decisions under uncertainty. Decision-makers use contextual information to generate a set of scenarios to represent the true conditional distribution. However, the number…

Optimization and Control · Mathematics 2025-02-11 David Islip , Roy H. Kwon , Sanghyeon Bae , Woo Chang Kim

This paper studies chance-constrained stochastic optimization problems with finite support. It presents an iterative method that solves reduced-size chance-constrained models obtained by partitioning the scenario set. Each reduced problem…

Optimization and Control · Mathematics 2024-11-26 Marius Roland , Alexandre Forel , Thibaut Vidal

Factor Analysis (FA) is a technique of fundamental importance that is widely used in classical and modern multivariate statistics, psychometrics and econometrics. In this paper, we revisit the classical rank-constrained FA problem, which…

Methodology · Statistics 2017-04-25 Dimitris Bertsimas , Martin S. Copenhaver , Rahul Mazumder

In many submodular optimization applications, datasets are naturally partitioned into disjoint subsets. These scenarios give rise to submodular optimization problems with partition-based constraints, where the desired solution set should be…

Data Structures and Algorithms · Computer Science 2026-01-21 Wenjing Chen , Yixin Chen , Victoria G. Crawford

This paper presents a methodology for using varying sample sizes in sequential quadratic programming (SQP) methods for solving equality constrained stochastic optimization problems. The first part of the paper deals with the delicate issue…

Optimization and Control · Mathematics 2023-03-23 Albert S. Berahas , Raghu Bollapragada , Baoyu Zhou

A constraint satisfaction problem (CSP) is a computational problem where the input consists of a finite set of variables and a finite set of constraints, and where the task is to decide whether there exists a satisfying assignment of values…

Computational Complexity · Computer Science 2019-04-23 Manuel Bodirsky

Based on further studying the low-rank subspace clustering (LRSC) and L2-graph subspace clustering algorithms, we propose a F-graph subspace clustering algorithm with a symmetric constraint (FSSC), which constructs a new objective function…

Computer Vision and Pattern Recognition · Computer Science 2019-12-18 Kai Xu , Xiao-Jun Wu , Wen-Bo Hu

Model predictive control (MPC) faces significant limitations when applied to systems evolving on nonlinear manifolds, such as robotic attitude dynamics and constrained motion planning, where traditional Euclidean formulations struggle with…

Robotics · Computer Science 2025-10-07 Peiwen Yang , Weisong Wen , Runqiu Yang , Yuanyuan Zhang , Jiahao Hu , Yingming Chen , Naigui Xiao , Jiaqi Zhao

In recent years, the increasing interest in Stochastic model predictive control (SMPC) schemes has highlighted the limitation arising from their inherent computational demand, which has restricted their applicability to slow-dynamics and…

Systems and Control · Electrical Eng. & Systems 2020-05-22 Martina Mammarella , Teodoro Alamo , Fabrizio Dabbene , Matthias Lorenzen

Many discrete optimization problems are amenable to constrained shortest-path reformulations in an extended network space, a technique that has been key in convexification, bound strengthening, and search. In this paper, we propose a…

Optimization and Control · Mathematics 2024-07-09 Leonardo Lozano , David Bergman , Andre A. Cire

Chance constrained program is computationally intractable due to the existence of chance constraints, which are randomly disturbed and should be satisfied with a probability. This paper proposes a two-layer randomized algorithm to address…

Optimization and Control · Mathematics 2019-11-11 Xun Shen , Jiancang Zhuang , Xingguo Zhang

We consider the stochastic shortest path (SSP) problem for succinct Markov decision processes (MDPs), where the MDP consists of a set of variables, and a set of nondeterministic rules that update the variables. First, we show that several…

Programming Languages · Computer Science 2018-07-18 Krishnendu Chatterjee , Hongfei Fu , Amir Kafshdar Goharshady , Nastaran Okati

This paper considers the problem of minimizing an expectation function over a closed convex set, coupled with a {\color{black} functional or expectation} constraint on either decision variables or problem parameters. We first present a new…

Optimization and Control · Mathematics 2020-10-05 Guanghui Lan , Zhiqiang Zhou

We consider the Scenario Convex Program (SCP) for two classes of optimization problems that are not tractable in general: Robust Convex Programs (RCPs) and Chance-Constrained Programs (CCPs). We establish a probabilistic bridge from the…

Optimization and Control · Mathematics 2014-06-18 Peyman Mohajerin Esfahani , Tobias Sutter , John Lygeros

Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is that problems can easily be combined or expanded. In this…

Discrete Mathematics · Computer Science 2025-01-29 Ruth Hoffmann , Özgür Akgün , Christopher Jefferson

The Stacker Crane Problem (SCP) is a variant of the Traveling Salesman Problem. In SCP, pairs of pickup and delivery points are designated on a graph, and a crane must visit these points to move objects from each pickup location to its…

Data Structures and Algorithms · Computer Science 2025-09-18 Yike Chen , Ke Shi , Chao Xu

We consider the chance-constrained program (CCP) with random right-hand side under a finite discrete distribution. It is known that the standard mixed integer linear programming (MILP) reformulation of the CCP is generally difficult to…

Optimization and Control · Mathematics 2026-01-28 Wei Lv , Wei-Kun Chen , Yu-Hong Dai , Xiao-Jiao Tong

Semidefinite programming (SDP) problems are challenging to solve because of their high dimensionality. However, solving sparse SDP problems with small tree-width are known to be relatively easier because: (1) they can be decomposed into…

Optimization and Control · Mathematics 2024-11-01 Tianyun Tang , Kim-Chuan Toh

Trust in counterfactual explanations depends critically on whether their recommended changes are truly minimal: suboptimal explanations may vastly overshoot the actual changes needed to alter a decision, and heuristic errors can affect…

Machine Learning · Computer Science 2026-05-08 Awa Khouna , Youssouf Emine , Julien Ferry , Thibaut Vidal