Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthias Poloczek
Randomized Variants of Johnson's Algorithm for MAX SAT
Related publications
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
An Approximation Algorithm for MAX-2-SAT With Cardinality Constraint
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Novel Analysis of Transition Probabilities in Randomized K-Sat Algorithm
International Journal in Foundations of Computer Science & Technology
The Power of Semidefinite Programming Relaxations for MAX-SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametric RBAC Maintenance via Max-Sat
Complexity of Max-Sat Using Stochastic Algorithms
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
Approximate Solution of Weighted MAX-SAT Problems Using GRASP
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
A Max-Sat Solver With Lazy Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
