Parametric RBAC Maintenance via Max-Sat

doi 10.1145/3205977.3205987
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Complexity of Max-Sat Using Stochastic Algorithms

2008English

MiniMaxSAT: An Efficient Weighted Max-Sat Solver

Journal of Artificial Intelligence Research
Artificial Intelligence
2008English

Randomized Variants of Johnson's Algorithm for MAX SAT

2011English

A Max-Sat Solver With Lazy Data Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

The Power of Semidefinite Programming Relaxations for MAX-SAT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2014English

Approximate Solution of Weighted MAX-SAT Problems Using GRASP

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

An Approximation Algorithm for MAX-2-SAT With Cardinality Constraint

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Analysis of L-Structure of Polyhedron in the Partial Max Sat Problem

Prikladnaya Diskretnaya Matematika
Signal ProcessingCombinatoricsApplied MathematicsMathematicsDiscrete MathematicsComputational TheoryTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy