4.7 Article

CliSAT: A new exact algorithm for hard maximum clique problems

Related references

Note: Only part of the references are listed.
Article Management

A new branch-and-filter exact algorithm for binary constraint satisfaction problems

Pablo San Segundo et al.

Summary: A binary constraint satisfaction problem is a fundamental problem in Constraint Programming. We have developed a new exact algorithm that solves the problem by reformulating it as a k-clique problem on a microstructure graph representation. Our algorithm improves the domain reduction filtering and performs graph reordering, resulting in superior performance in extensive benchmark tests.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2022)

Article Management

A new combinatorial branch-and-bound algorithm for the Knapsack Problem with Conflicts

Stefano Coniglio et al.

Summary: This study introduces a novel combinatorial branch-and-bound algorithm for the Knapsack Problem with Conflicts, which effectively combines different procedures for pruning branch-and-bound nodes. The algorithm shows high pruning potential and low computational effort, outperforming state-of-the-art methods by up to two orders of magnitude in speed.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2021)

Article Management

A branch-and-cut algorithm for the Edge Interdiction Clique Problem

Fabio Furini et al.

Summary: The Edge Interdiction Clique Problem aims to minimize the size of the maximum clique in a graph by removing a subset of at most k edges. A new ILP formulation and branch-and-cut algorithm have been proposed to address this problem, which has shown significant improvement over existing approaches through extensive testing.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2021)

Article Management

Why Is Maximum Clique Often Easy in Practice?

Jose L. Walteros et al.

OPERATIONS RESEARCH (2020)

Article Management

The maximum clique interdiction problem

Fabio Furini et al.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2019)

Article Computer Science, Interdisciplinary Applications

A new branch-and-bound algorithm for the Maximum Weighted Clique Problem

Pablo San Segundo et al.

COMPUTERS & OPERATIONS RESEARCH (2019)

Article Management

A new branch-and-bound algorithm for the maximum edge-weighted clique problem

Pablo San Segundo et al.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2019)

Article Computer Science, Software Engineering

Benchmark Problems for Exhaustive Exact Maximum Clique Search Algorithms

Sandor Szabo et al.

INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS (2019)

Article Management

A new upper bound for the maximum weight clique problem

Chu-Min Li et al.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2018)

Article Computer Science, Interdisciplinary Applications

Incremental Upper Bound for the Maximum Clique Problem

Chu-Min Li et al.

INFORMS JOURNAL ON COMPUTING (2018)

Article Computer Science, Interdisciplinary Applications

A Branch-and-Bound Algorithm for the Knapsack Problem with Conflict Graph

Andrea Bettinelli et al.

INFORMS JOURNAL ON COMPUTING (2017)

Article Computer Science, Interdisciplinary Applications

On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem

Chu-Min Li et al.

COMPUTERS & OPERATIONS RESEARCH (2017)

Article Computer Science, Artificial Intelligence

Improved initial vertex ordering for exact maximum clique search

Pablo San Segundo et al.

APPLIED INTELLIGENCE (2016)

Article Computer Science, Interdisciplinary Applications

A new exact maximum clique algorithm for large and massive sparse graphs

Pablo San Segundo et al.

COMPUTERS & OPERATIONS RESEARCH (2016)

Article Computer Science, Information Systems

Improved Infra-Chromatic Bound for Exact Maximum Clique Search

Pablo San Segundo et al.

INFORMATICA (2016)

Article Computer Science, Artificial Intelligence

A novel clique formulation for the visual feature matching problem

Pablo San Segundo et al.

APPLIED INTELLIGENCE (2015)

Article Computer Science, Interdisciplinary Applications

Infra-chromatic bound for exact maximum clique search

Pablo San Segundo et al.

COMPUTERS & OPERATIONS RESEARCH (2015)

Review Management

A review on algorithms for maximum clique problems

Qinghua Wu et al.

EUROPEAN JOURNAL OF OPERATIONAL RESEARCH (2015)

Article Computer Science, Interdisciplinary Applications

Relaxed approximate coloring in exact maximum clique search

Pablo San Segundo et al.

COMPUTERS & OPERATIONS RESEARCH (2014)

Article Operations Research & Management Science

Speeding up branch and bound algorithms for solving the maximum clique problem

Evgeny Maslov et al.

JOURNAL OF GLOBAL OPTIMIZATION (2014)

Article Robotics

Robust Global Feature Based Data Association With a Sparse Bit Optimized Maximum Clique Algorithm

Pablo San Segundo et al.

IEEE TRANSACTIONS ON ROBOTICS (2013)

Article Computer Science, Interdisciplinary Applications

An adaptive multistart tabu search approach to solve the maximum clique problem

Qinghua Wu et al.

JOURNAL OF COMBINATORIAL OPTIMIZATION (2013)

Article Operations Research & Management Science

An improved bit parallel exact maximum clique algorithm

Pablo San Segundo et al.

OPTIMIZATION LETTERS (2013)

Article Computer Science, Interdisciplinary Applications

An exact bit-parallel algorithm for the maximum clique problem

Pablo San Segundo et al.

COMPUTERS & OPERATIONS RESEARCH (2011)

Article Computer Science, Artificial Intelligence

Fast exact feature based data correspondence search with an efficient bit-parallel MCP solver

Pablo San Segundo et al.

APPLIED INTELLIGENCE (2010)

Article Management

A survey on vertex coloring problems

Enrico Malaguti et al.

INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH (2010)

Article Mathematics, Applied

A fast algorithm for the maximum clique problem

PRJ Östergård

DISCRETE APPLIED MATHEMATICS (2002)

Article Computer Science, Software Engineering

Benchmarking optimization software with performance profiles

ED Dolan et al.

MATHEMATICAL PROGRAMMING (2002)