In this thesis, we introduce a novel approach to solving MAX-SAT problems. This algorithm clusters good solutions, and restarts the search from the closest feasible configuration to the centroid of each cluster. We call this method Clustered-Landscape Guided Hopping (CLGH). In addition, where clustering does not provide an advantage due to the non-clustered landscape configuration, we use Averaged-Landscape Guided Hopping (ALGH). CLGH is shown to be highly efficient for finding good solutions of large MAX-SAT problems. Systematic studies of the landscape are presented to show that the success of clustering is due to the learning of large-scale structure of the fitness landscape. Previous studies conducted by other researchers analysed the r...
This paper puts forward a constructive heuristic algorithm called the method of inserting the minimu...
The aim of this paper is to design an algorithm based on nonsmooth optimization techniques to solve ...
Local search algorithms for MAX-k-SAT must often explore large regions of mutually connected equal m...
In this thesis, we introduce a novel approach to solving MAX-SAT problems. This algorithm clusters g...
A new algorithm for solving MAX-SAT problems is introduced which clusters good solutions, and restar...
AbstractBoolean satisfiability (SAT) and maximum satisfiability (Max-SAT) are difficult combinatoria...
In a recent paper an algorithm for solving MAX-SAT was proposed which worked by clustering good solu...
The traveling salesperson problem (TSP) is an NP-Hard problem that computers find difficult to solve...
It is difficult to solve large-scale traveling salesman problems (TSPs) using recurrent neural netwo...
The fitness landscape of MAX-3-SAT is investigated for random instances above the satisfiability pha...
The fitness landscape of MAX-3-SAT is investigated for random instances above the satisfiability pha...
Clustering is an important unsupervised learning task, with many applications in machine learning, c...
Let G = (V, E) be a complete undirected graph with vertex set V, edge set E, and edge weights l(e) s...
In this article, we have introduced an advanced new method of solving a traveling salesman problem (...
International audienceAlthough Path-Relinking is an effective local search method for many combinato...
This paper puts forward a constructive heuristic algorithm called the method of inserting the minimu...
The aim of this paper is to design an algorithm based on nonsmooth optimization techniques to solve ...
Local search algorithms for MAX-k-SAT must often explore large regions of mutually connected equal m...
In this thesis, we introduce a novel approach to solving MAX-SAT problems. This algorithm clusters g...
A new algorithm for solving MAX-SAT problems is introduced which clusters good solutions, and restar...
AbstractBoolean satisfiability (SAT) and maximum satisfiability (Max-SAT) are difficult combinatoria...
In a recent paper an algorithm for solving MAX-SAT was proposed which worked by clustering good solu...
The traveling salesperson problem (TSP) is an NP-Hard problem that computers find difficult to solve...
It is difficult to solve large-scale traveling salesman problems (TSPs) using recurrent neural netwo...
The fitness landscape of MAX-3-SAT is investigated for random instances above the satisfiability pha...
The fitness landscape of MAX-3-SAT is investigated for random instances above the satisfiability pha...
Clustering is an important unsupervised learning task, with many applications in machine learning, c...
Let G = (V, E) be a complete undirected graph with vertex set V, edge set E, and edge weights l(e) s...
In this article, we have introduced an advanced new method of solving a traveling salesman problem (...
International audienceAlthough Path-Relinking is an effective local search method for many combinato...
This paper puts forward a constructive heuristic algorithm called the method of inserting the minimu...
The aim of this paper is to design an algorithm based on nonsmooth optimization techniques to solve ...
Local search algorithms for MAX-k-SAT must often explore large regions of mutually connected equal m...