Pattern Backtracking Algorithm for the Workflow Satisfiability Problem With User-Independent Constraints

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-19647-3_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Genetic Algorithm With Expansion Operator for the 3-Satisfiability Problem

Advanced Studies in Theoretical Physics
Mathematical PhysicsPhysicsAstronomy
2013English

A Genetic Algorithm With Expansion and Exploration Operators for the Maximum Satisfiability Problem

Applied Mathematical Sciences
2013English

Tight Lower Bounds for the Workflow Satisfiability Problem Based on the Strong Exponential Time Hypothesis

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2016English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

A Heuristic Algorithm for the Container Loading Problem With Complex Loading Constraints

Journal of Advanced Mechanical Design, Systems and Manufacturing
IndustrialMechanical EngineeringManufacturing Engineering
2016English

Ant Colony Algorithm for Solving the Multicast Routing Problem With QoS Constraints

2015English

An Adaptive Evolutionary Algorithm for Traveling Salesman Problem With Precedence Constraints

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2014English

An Exact Algorithm for the Two-Dimensional Orthogonal Packing Problem With Unloading Constraints

Operations Research
Management ScienceComputer Science ApplicationsOperations Research
2014English

User Allocation Algorithm With Rate Guarantees for Multi-Rate Mobile Networks With Backhaul Constraints

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy