English
Related papers

Related papers: Valued Workflow Satisfiability Problem

200 papers

Workflow graphs extend classical flow charts with concurrent fork and join nodes. They constitute the core of business processing languages such as BPMN or UML Activity Diagrams. The activities of a workflow graph are executed by humans or…

Logic in Computer Science · Computer Science 2018-02-23 Philipp J. Meyer , Javier Esparza , Hagen Völzer

\textit{Weighted shortest processing time first} (WSPT) is one of the best known algorithms for total weighted completion time scheduling problems. For each job $J_j$, it first combines the two independent job parameters weight $w_j$ and…

Data Structures and Algorithms · Computer Science 2023-07-18 Samin Jamalabadi , Uwe Schwiegelshohn

In this paper, we propose an effective search procedure that interleaves two steps: subproblem generation and subproblem solution. We mainly focus on the first part. It consists of a variable domain value ranking based on reduced costs.…

Artificial Intelligence · Computer Science 2007-05-23 M. Milano , W. J. van Hoeve

During the development of the security subsystem of modern information systems, a problem of the joint implementation of several access control models arises quite often. Traditionally, a request for the user's access to resources is…

Cryptography and Security · Computer Science 2018-12-21 S. V. Belim , N. F. Bogachenko , Y. S. Rakitskiy , A. N. Kabanov

Feature selection is an important preprocessing step in machine learning and data mining. In real-world applications, costs, including money, time and other resources, are required to acquire the features. In some cases, there is a test…

Artificial Intelligence · Computer Science 2013-05-22 Fan Min , Qinghua Hu , William Zhu

For scheduling in flexible manufacturing system (FMS), many factors should be considered, it is difficult to solve the scheduling problem by satisfying different criteria (production cost, utilization of system, number of movements of part,…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-24 U Yongnam , Ri Taehyong

Enterprise Resource Planning (ERP) systems are critical to the success of enterprises, facilitating business operations through standardized digital processes. However, existing ERP systems are unsuitable for startups and small and…

Other Computer Science · Computer Science 2023-06-06 Lukas Böhme , Tobias Wuttke , Ralf Teusner , Michael Perscheid , Sebastian Baltes , Christoph Matthies , Benedict Bender

This paper addresses the problem of scheduling a set of jobs that are released over the time on a set of identical parallel machines, aiming at the minimization of the total weighted completion time. This problem, referred to as $P|r_j|\sum…

Optimization and Control · Mathematics 2020-06-30 Arthur Kramer , Mauro Dell'Amico , Dominique Feillet , Manuel Iori

The task of scheduling jobs to machines while minimizing the total makespan, the sum of weighted completion times, or a norm of the load vector, are among the oldest and most fundamental tasks in combinatorial optimization. Since all of…

Data Structures and Algorithms · Computer Science 2020-09-25 Martin Koutecký , Johannes Zink

Valued constraint satisfaction problems (VCSPs) are discrete optimisation problems with a $(\mathbb{Q}\cup\{\infty\})$-valued objective function given as a sum of fixed-arity functions. In Boolean surjective VCSPs, variables take on labels…

Computational Complexity · Computer Science 2020-05-15 Peter Fulla , Hannes Uppman , Stanislav Zivny

A new class of multi agent single machine scheduling problems is introduced, where each job is associated with a self interested agent with a utility function decreasing in completion time. We aim to achieve a fair solution by maximizing…

Computer Science and Game Theory · Computer Science 2026-04-01 Gaia Nicosia , Andrea Pacifici , Ulrich Pferschy

Serverless computing is increasingly adopted for AI-driven workloads due to its automatic scaling and pay-as-you-go model. However, its function-based architecture creates significant security risks, including excessive privilege allocation…

Cryptography and Security · Computer Science 2026-03-27 Changhee Shin , Bom Kim , Seungsoo Lee

Most recommender systems (RS) research assumes that a user's utility can be maximized independently of the utility of the other agents (e.g., other users, content providers). In realistic settings, this is often not true---the dynamics of…

Machine Learning · Computer Science 2020-08-20 Martin Mladenov , Elliot Creager , Omer Ben-Porat , Kevin Swersky , Richard Zemel , Craig Boutilier

Challenges in last-mile delivery have encouraged innovative solutions like crowdsourced delivery, where online platforms leverage the services of drivers who occasionally perform delivery tasks for compensation. A key challenge is that…

Optimization and Control · Mathematics 2026-03-23 Alim Buğra Çınar , Claudia Archetti , Wout Dullaert , Markus Leitner , Stefan Waldherr

We consider the problem of learning control policies that optimize a reward function while satisfying constraints due to considerations of safety, fairness, or other costs. We propose a new algorithm, Projection-Based Constrained Policy…

Machine Learning · Computer Science 2020-10-08 Tsung-Yen Yang , Justinian Rosca , Karthik Narasimhan , Peter J. Ramadge

This paper considers a time-varying optimization problem associated with a network of systems, with each of the systems shared by (and affecting) a number of individuals. The objective is to minimize cost functions associated with the…

Optimization and Control · Mathematics 2022-03-15 Ana M. Ospina , Andrea Simonetto , Emiliano Dall'Anese

The stochastic shortest path problem (SSPP) asks to resolve the non-deterministic choices in a Markov decision process (MDP) such that the expected accumulated weight before reaching a target state is maximized. This paper addresses the…

Optimization and Control · Mathematics 2022-04-27 Jakob Piribauer , Ocan Sankur , Christel Baier

We study flow shop scheduling with stochastic reentry, where jobs must complete multiple passes through the entire shop, and the number of passes that a job requires for completion is drawn from a discrete probability distribution. The goal…

Data Structures and Algorithms · Computer Science 2026-04-21 Maximilian von Aspern , Felix Buld , Michael Pinedo

Crowdsourcing systems, in which numerous tasks are electronically distributed to numerous "information piece-workers", have emerged as an effective paradigm for human-powered solving of large scale problems in domains such as image…

Machine Learning · Computer Science 2013-03-27 David R. Karger , Sewoong Oh , Devavrat Shah

Backtracking search algorithms are often used to solve the Constraint Satisfaction Problem (CSP). The efficiency of backtracking search depends greatly on the variable ordering heuristics. Currently, the most commonly used heuristics are…

Artificial Intelligence · Computer Science 2021-12-28 Wen Song , Zhiguang Cao , Jie Zhang , Andrew Lim