Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Hofmeister
An Approximation Algorithm for MAX-2-SAT With Cardinality Constraint
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Randomized Variants of Johnson's Algorithm for MAX SAT
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
A Max-Sat Solver With Lazy Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametric RBAC Maintenance via Max-Sat
An LP-Designed Algorithm for Constraint Satisfaction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Algorithm for the Quadratic Approximation
Journal of Computational and Applied Mathematics
Computational Mathematics
Applied Mathematics
An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Power of Semidefinite Programming Relaxations for MAX-SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
