MiniMaxSAT: An Efficient Weighted Max-Sat Solver

Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.2347
Full Text
Abstract

Available in full text

Date
Authors
Publisher

AI Access Foundation

Related search

A Max-Sat Solver With Lazy Data Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Approximate Solution of Weighted MAX-SAT Problems Using GRASP

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

Versat: A Verified Modern SAT Solver

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

An Efficient Multigrid Poisson Solver

International Journal of Computer Mathematics
Computational TheoryApplied MathematicsComputer Science ApplicationsMathematics
1999English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Parametric RBAC Maintenance via Max-Sat

2018English

DSatz: A Directional SAT Solver for Planning

English

Complexity of Max-Sat Using Stochastic Algorithms

2008English

Tts: A SAT-Solver for Small, Difficult Instances

Journal on Satisfiability, Boolean Modeling and Computation
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy