Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. K. Kuchin
Analysis of L-Structure of Polyhedron in the Partial Max Sat Problem
Prikladnaya Diskretnaya Matematika
Signal Processing
Combinatorics
Applied Mathematics
Mathematics
Discrete Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Complexity of Max-Sat Using Stochastic Algorithms
The Power of Semidefinite Programming Relaxations for MAX-SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Randomized Variants of Johnson's Algorithm for MAX SAT
Parametric RBAC Maintenance via Max-Sat
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
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
A Max-Sat Solver With Lazy Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compiling Problem Specifications Into SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science