English
Related papers

Related papers: Valued Workflow Satisfiability Problem

200 papers

Valued constraint satisfaction problems (VCSPs) constitute a large class of computational optimization problems. It was shown recently that, over finite domains, every VCSP is in P or NP-complete, depending on the admitted cost functions.…

Logic · Mathematics 2025-10-21 Manuel Bodirsky , Žaneta Semanišinová , Carsten Lutz

With the dissemination of affordable parallel and distributed hardware, parallel and distributed constraint solving has lately been the focus of some attention. To effectually apply the power of distributed computational systems, there must…

Programming Languages · Computer Science 2010-09-21 Vasco Pedro , Salvador Abreu

We consider the problem of minimizing the weighted makespan on a single machine with restarts. Restarts are similar to preemptions but weaker: a job can be interrupted, but then it has to be run again from the start instead of resuming at…

Data Structures and Algorithms · Computer Science 2025-10-13 Aflatoun Amouzandeh , Klaus Jansen , Lis Pirotton , Rob van Stee , Corinna Wambsganz

A computational workflow, also known as workflow, consists of tasks that must be executed in a specific order to attain a specific goal. Often, in fields such as biology, chemistry, physics, and data science, among others, these workflows…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-06-14 George Papadimitriou , Hongwei Jin , Cong Wang , Rajiv Mayani , Krishnan Raghavan , Anirban Mandal , Prasanna Balaprakash , Ewa Deelman

In various areas of computer science, the problem of dealing with a set of constraints arises. If the set of constraints is unsatisfiable, one may ask for a minimal description of the reason for this unsatisifi- ability. Minimal…

Artificial Intelligence · Computer Science 2016-06-13 Jaroslav Bendik , Nikola Benes , Ivana Cerna , Jiri Barnat

While previous work on energy-efficient algorithms focused on assumption that tasks can be assigned to any processor, we initially study the problem of task scheduling on restricted parallel processors. The objective is to minimize the…

Data Structures and Algorithms · Computer Science 2013-09-17 Xibo Jin , Fa Zhang , Ying Song , Liya Fan , Zhiyong Liu

A Variable Parameter (VP) analysis, that we introduce here, aims to give a precise algorithm time complexity expression in which an exponent appears solely in terms of a variable parameter. A variable parameter is the number of objects with…

Data Structures and Algorithms · Computer Science 2025-07-08 Nodari Vakhania

In this paper we consider two problems regarding the scheduling of available personnel in order to perform a given quantity of work, which can be arbitrarily decomposed into a sequence of activities. We are interested in schedules which…

Data Structures and Algorithms · Computer Science 2013-01-22 Mugurel Ionut Andreica , Romulus Andreica , Angela Andreica

Workflows and role-based access control models need to be suitably merged, in order to allow users to perform processes in a correct way, according to the given data access policies and the temporal constraints. Given a mapping between…

Cryptography and Security · Computer Science 2016-01-12 Carlo Combi , Luca Viganó , Matteo Zavatteri

Allocation tasks represent a class of problems where a limited amount of resources must be allocated to a set of entities at each time step. Prominent examples of this task include portfolio optimization or distributing computational…

Artificial Intelligence · Computer Science 2024-09-30 David Winkel , Niklas Strauß , Maximilian Bernhard , Zongyue Li , Thomas Seidl , Matthias Schubert

We study a difficult problem of how to schedule complex workflows with precedence constraints under a limited budget in the cloud environment. We first formulate the scheduling problem as an integer programming problem, which can be…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-05 Hang Zhang , Xiaoying Zheng , Ye Xia , Mingqi Li

We explore the problem of step-wise explaining how to solve constraint satisfaction problems, with a use case on logic grid puzzles. More specifically, we study the problem of explaining the inference steps that one can take during…

Logic in Computer Science · Computer Science 2021-07-06 Bart Bogaerts , Emilio Gamba , Tias Guns

Given the complexity of modern software systems, it is of great importance that such systems be able to autonomously modify themselves, i.e., self-adapt, with minimal human supervision. It is critical that this adaptation both results in…

Software Engineering · Computer Science 2022-05-13 Todd Wareham , Ronald de Haan

We study set selection problems where the weights are uncertain. Instead of its exact weight, only an uncertainty interval containing its true weight is available for each element. In some cases, some solutions are universally optimal;…

Data Structures and Algorithms · Computer Science 2024-04-29 Christoph Dürr , Arturo Merino , José A. Soto , José Verschae

The paper considers single-machine scheduling problems with a non-renewable resource. In this setting, we are given a set jobs, each of which is characterized by a processing time, a weight, and the job also has some resource requirement.…

Data Structures and Algorithms · Computer Science 2019-11-28 Kristóf Bérczi , Tamás Király , Simon Omlor

Optimization of complex functions, such as the output of computer simulators, is a difficult task that has received much attention in the literature. A less studied problem is that of optimization under unknown constraints, i.e., when the…

Methodology · Statistics 2010-07-06 Robert B. Gramacy , Herbert K. H. Lee

Generating high-quality schedules for a rotating workforce is a critical task in all settings where a certain staffing level must be guaranteed beyond the capacity of single employees, such as for instance in industrial plants, hospitals,…

Other Computer Science · Computer Science 2011-11-09 Nysret Musliu , Johannes Gaertner , Wolfgang Slany

We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a \emph{constraint language}, a fixed set of cost functions over a finite domain. An instance of the problem is specified by…

Computational Complexity · Computer Science 2010-08-10 Vladimir Kolmogorov , Stanislav Zivny

In the weighted flow-time problem on a single machine, we are given a set of n jobs, where each job has a processing requirement p_j, release date r_j and weight w_j. The goal is to find a preemptive schedule which minimizes the sum of…

Data Structures and Algorithms · Computer Science 2018-08-21 Jatin Batra , Naveen Garg , Amit Kumar