English
Related papers

Related papers: New Boolean satisfiability problem heuristic strat…

200 papers

The application of Deep Reinforcement Learning (DRL) to inventory management is an emerging field. However, traditional DRL algorithms, originally developed for diverse domains such as game-playing and robotics, may not be well-suited for…

Machine Learning · Computer Science 2025-06-04 Tarkan Temizöz , Christina Imdahl , Remco Dijkman , Douniel Lamghari-Idrissi , Willem van Jaarsveld

We address the design and synthesis of optimal control strategies for high-dimensional stochastic dynamical systems. Such systems may be deterministic nonlinear systems evolving from random initial states, or systems driven by random…

Numerical Analysis · Mathematics 2020-08-26 Panos Lambrianides , Qi Gong , Daniele Venturi

The multiple knapsack problem with grouped items aims to maximize rewards by assigning groups of items among multiple knapsacks, considering knapsack capacities. Either all items in a group are assigned or none at all. We propose algorithms…

Data Structures and Algorithms · Computer Science 2020-06-02 Francisco Castillo-Zunino , Pinar Keskinocak

A weighted constraint satisfaction problem (WCSP) is a constraint satisfaction problem in which preferences among solutions can be expressed. Bucket elimination is a complete technique commonly used to solve this kind of constraint…

Artificial Intelligence · Computer Science 2014-01-16 José Enrique Gallardo , Carlos Cotta , Antonio José Fernández

This work presents a novel policy iteration algorithm to tackle nonzero-sum stochastic impulse games arising naturally in many applications. Despite the obvious impact of solving such problems, there are no suitable numerical methods…

Optimization and Control · Mathematics 2020-06-29 René Aïd , Francisco Bernal , Mohamed Mnif , Diego Zabaljauregui , Jorge P. Zubelli

In problem-solving, we humans can come up with multiple novel solutions to the same problem. However, reinforcement learning algorithms can only produce a set of monotonous policies that maximize the cumulative reward but lack diversity and…

Machine Learning · Computer Science 2022-11-01 Hao Sun , Zhenghao Peng , Bo Dai , Jian Guo , Dahua Lin , Bolei Zhou

This paper presents a complete algorithmic study of the decision Boolean Satisfiability Problem under the classical computation and quantum computation theories. The paper depicts deterministic and probabilistic algorithms, propositions of…

Computational Complexity · Computer Science 2016-02-22 Carlos Barrón-Romero

Model-based Bayesian Reinforcement Learning (BRL) allows a found formalization of the problem of acting optimally while facing an unknown environment, i.e., avoiding the exploration-exploitation dilemma. However, algorithms explicitly…

Artificial Intelligence · Computer Science 2012-06-22 Mauricio Araya , Olivier Buffet , Vincent Thomas

This article approaches deterministic filtering via an application of the min-plus linearity of the corresponding dynamic programming operator. This filter design method yields a set-valued state estimator for discrete-time nonlinear…

Optimization and Control · Mathematics 2012-03-14 Abhijit G. Kallapur , Srinivas Sridharan , William M. McEneaney , Ian R. Petersen

In this article, the decidability and computability issues of dynamic probability logic (DPL) are addressed. Firstly, a proof system $\mathcal{H}_{DPL}$ is introduced for DPL and shown that it is weakly complete. Furthermore, this logic has…

Logic in Computer Science · Computer Science 2024-06-25 Somayeh Chopoghloo , Mahdi Heidarpoor , Massoud Pourmahdian

We present a novel class of minimax optimal control problems with positive dynamics, linear objective function and homogeneous constraints. The proposed problem class can be analyzed with dynamic programming and an explicit solution to the…

Optimization and Control · Mathematics 2023-12-11 Alba Gurpegui , Emma Tegling , Anders Rantzer

Biclustering, also known as co-clustering or two-way clustering, simultaneously partitions the rows and columns of a data matrix to reveal submatrices with coherent patterns. Incorporating background knowledge into clustering to enhance…

Optimization and Control · Mathematics 2026-02-24 Antonio M. Sudoso

State-of-the-art methods for solving 2-player zero-sum imperfect information games rely on linear programming or regret minimization, though not on dynamic programming (DP) or heuristic search (HS), while the latter are often at the core of…

Artificial Intelligence · Computer Science 2022-10-27 Aurélien Delage , Olivier Buffet , Jilles S. Dibangoye , Abdallah Saffidine

Load balancing is the process of improving the Performance of a parallel and distributed system through is distribution of load among the processors [1-2]. Most of the previous work in load balancing and distributed decision making in…

Distributed, Parallel, and Cluster Computing · Computer Science 2009-10-05 Abbas Karimi , Faraneh Zarafshan , Adznan. b. Jantan , A. R Ramli , M. Iqbal b. Saripan

The weighted sum method is a simple and widely used technique that scalarizes multiple conflicting objectives into a single objective function. It suffers from the problem of determining the appropriate weights corresponding to the…

Artificial Intelligence · Computer Science 2020-05-07 Romit S Beed , Sunita Sarkar , Arindam Roy , Durba Bhattacharya

In this work we consider the hybrid Data-Driven Computational Mechanics (DDCM) approach, in which a smooth constitutive manifold is reconstructed to obtain a well-behaved nonlinear optimization problem (NLP) rather than the much harder…

Numerical Analysis · Mathematics 2023-11-08 Cristian Guillermo Gebhardt , Senta Lange , Marc Christian Steinbach

Mean-variance portfolio optimization problems often involve separable nonconvex terms, including penalties on capital gains, integer share constraints, and minimum position and trade sizes. We propose a heuristic algorithm for such problems…

Optimization and Control · Mathematics 2022-07-04 Nicholas Moehle , Jack Gindi , Stephen Boyd , Mykel Kochenderfer

The decision variable selection policy used by the most competitive CDCL (Conflict-Driven Clause Learning) SAT solvers is either VSIDS (Variable State Independent Decaying Sum) or its variants such as exponential version EVSIDS. The common…

Logic in Computer Science · Computer Science 2016-04-05 Jingchao Chen

In sampling theory, stratification corresponds to a technique used in surveys, which allows segmenting a population into homogeneous subpopulations (strata) to produce statistics with a higher level of precision. In particular, this article…

Methodology · Statistics 2022-11-22 José Brito , Gustavo Semaan , Leonardo de Lima , Augusto Fadel

An active topic in the study of random constraint satisfaction problems (CSPs) is the geometry of the space of satisfying or almost satisfying assignments as the function of the density, for which a precise landscape of predictions has been…

Data Structures and Algorithms · Computer Science 2021-06-25 Jun-Ting Hsieh , Sidhanth Mohanty , Jeff Xu