activity
20172025
most citedA GRASPxELS with Depth First Search Split Procedure for the HVRP

6 citations · 11 across the 12 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2024★ 1 cited

A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach

Gerard Fleury, Philippe Lacomme

This paper addresses the resolution of the 3-SAT problem using a QAOA-like approach. The chosen principle involves modeling the solution ranks of the 3-SAT problem, which, in this…