# Maximum satisfiability problem

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- 2012

The original Extremal Optimization (EO) algorithm and its modified versions have been successfully applied to a variety of NPâ€¦Â (More)

Is this relevant?

2011

2011

- Journal of Zhejiang University SCIENCE C
- 2011

Based on our recent study on probability distributions for evolution in extremal optimization (EO), we propose a modifiedâ€¦Â (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- Design, Automation and Test in Europe
- 2008

Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SATâ€¦Â (More)

Is this relevant?

2006

2006

- Applied Intelligence
- 2006

Stochastic local search algorithms (SLS) have been increasingly applied to approximate solutions of the weighted maximumâ€¦Â (More)

Is this relevant?

2005

2005

- WEA
- 2005

A GRASP with path-relinking for finding good-quality solutions of the weighted maximum satisfiability problem (MAX-SAT) isâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- J. ACM
- 1995

We present randomized approximation algorithms for the maximum cut (MAX CUT) and maximum 2-satisfiability (MAX 2SAT) problemsâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- SIAM J. Discrete Math.
- 1994

Yannakakis recently presented the first-approximation algorithm for the Maximum Satisfiability Problem (MAX SAT). His algorithmâ€¦Â (More)

Is this relevant?

1993

1993

- Discrete Applied Mathematics
- 1993

Given an instance of the maximum satisfiability problem involving n logical variables, truth assignments naturally correspond toâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- SODA
- 1992

We present a 3/4 polynomial time approximation algorithm for the Maximum Satisfiability problem: Given a set of clauses, find aâ€¦Â (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- Computing
- 1990

Old and new algorithms for the Maximum Satisfiability problem are studied. We first summarize the different heuristics previouslyâ€¦Â (More)

Is this relevant?