activity
20222025
most citedStochastic Capacitated Arc Routing Problem

1 citations · 5 across the 10 of their papers we have counts for

collaborators
Showing 2024 · cs.AIShow all

1 paper · 2 filters

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…