Randomized Variants of Johnson's Algorithm for MAX SAT

doi 10.1137/1.9781611973082.51
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Society for Industrial and Applied Mathematics

Related search

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

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2014English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Novel Analysis of Transition Probabilities in Randomized K-Sat Algorithm

International Journal in Foundations of Computer Science & Technology
2014English

The Power of Semidefinite Programming Relaxations for MAX-SAT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Parametric RBAC Maintenance via Max-Sat

2018English

Complexity of Max-Sat Using Stochastic Algorithms

2008English

MiniMaxSAT: An Efficient Weighted Max-Sat Solver

Journal of Artificial Intelligence Research
Artificial Intelligence
2008English

Approximate Solution of Weighted MAX-SAT Problems Using GRASP

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

A Max-Sat Solver With Lazy Data Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy