# Asynchronous team algorithms for Boolean Satisfiability

@article{Rodrguez2007AsynchronousTA, title={Asynchronous team algorithms for Boolean Satisfiability}, author={Carlos Rodr{\'i}guez and Marcos Villagra and Benjam{\'i}n Bar{\'a}n}, journal={2007 2nd Bio-Inspired Models of Network, Information and Computing Systems}, year={2007}, pages={66-69} }

The Boolean Satisfiability Problem or SAT is one of the most important problems in computer science. Nowadays, there are different types of algorithms to solve instances with thousands of variables, and much research is being carried out looking for more efficient algorithms to solve larger and harder instances. This work proposes the utilization of a Team Algorithm (TA) strategy combining different local search algorithms for SAT as WalkSAT, R-Novelty+, Adaptive Novelty+, RSAPS, IROTS and SAMD…

## 4 Citations

MOP2P: Peer-to-peer platform applied to multiobjective optimization problems

- Computer Science2016 XLII Latin American Computing Conference (CLEI)
- 2016

A platform (denominated MOP2P) that allows the distributed execution of metaheuristic based algorithms for solving MOP using computers connected in a network in order to handle more computing power according to current demand is presented.

Markets are Efficient if and Only if P = NP

- EconomicsAlgorithmic Finance
- 2011

I prove that if markets are efficient, meaning current prices fully reflect all information available in past prices, then P=NP, meaning every computational problem whose solution can be verified in…

Data Security in Distributed System Using Fully Homomorphic Encryption and Linear

- Computer Science2013 International Conference on Communication Systems and Network Technologies
- 2013

In present system, robust design with perfect security constraints is implemented, also Linear Programming Condition and Fully Homomorphic encryption technique are implemented.

## References

SHOWING 1-10 OF 15 REFERENCES

Iterated Robust Tabu Search for MAX-SAT

- Computer ScienceCanadian Conference on AI
- 2003

This paper presents a new stochastic local search (SLS) algorithm for MAX-SAT that combines Iterated Local Search and Tabu Search, two well-known SLS methods that have been successfully applied to many other combinatorial optimisation problems.

On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT

- Computer Science, MathematicsAAAI/IAAI
- 1999

The notion of incompleteness for stochastic decision algorithms is refined by introducing the notion of "probabilistic asymptotic completeness" (PAC) and it is proved for a number of well-known SLS algorithms whether or not they have this property.

Local search strategies for satisfiability testing

- Computer ScienceCliques, Coloring, and Satisfiability
- 1993

The power of local search for satissability testing can be further enhanced by employing a new strategy, called mixed random walk, for escaping from local minima, which allows us to handle formulas that are substantially larger than those that can be solved with basic local search.

Parallel Resolution of the Satisfiability Problem: A Survey

- Computer Science
- 2006

The intention is to review the work of this last decade on parallel resolution of SAT with DPLL solvers which are the most widely used complete ones.

Algorithms for the satisfiability (SAT) problem: A survey

- Computer ScienceSatisfiability Problem: Theory and Applications
- 1996

This survey presents a general framework (an algorithm space) that integrates existing SAT algorithms into a unified perspective and describes sequential and parallel SAT algorithms including variable splitting, resolution, local search, global optimization, mathematical programming, and practical SAT algorithms.

Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing

- Computer ScienceWoLLIC
- 2007

MaxMin-SAT is the first ACO algorithm for SAT that implements an Adaptive Fitness Function, which is a technique used for Genetic Algorithms to escape local optima.

GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem

- MathematicsEvolutionary Computation
- 2006

These experiments show that GASAT provides very competitive results, and its overall performance with state-of-the-art SAT algorithms is compared.

Algorithms for the maximum satisfiability problem

- Computer Science, MathematicsComputing
- 2005

Two recent local search algorithmic schemes are considered, the Simulated Annealing method of Kirkpatrick, Gelatt and Vecchi and the Steepest Ascent Mildest Descent method, and adapt them to the Maximum Satisfiability problem and are shown empirically to be more efficient than the heuristics previously proposed in the literature.

Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT

- Computer ScienceCP
- 2002

Scaling and Probabilistic Smoothing (SAPS), an efficient SAT algorithm that is conceptually closely related to ESG, is developed, and a reactive version of SAPS (RSAPS) is introduced that adaptively tunes one of the algorithm's important parameters.

The complexity of theorem-proving procedures

- Mathematics, Computer ScienceSTOC
- 1971

It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a…