works on
fairness 1first-order logic 1meta-prover 1modal logic 1proof search 1strategy language 1

From the 1 of 10 papers with an AI index.

most citedOcclusion Handling by Pushing for Enhanced Fruit Detection

2 citations

researchers with a paper here
collaborating institutions
Showing math.OCShow all

1 paper · 1 filter

math.OC2026

Quantum Model for CVRPTW

Imran Meghazi, Éric Bourreau

This paper proposes a quantum algorithm for the capacitated vehicle routing problem with time windows (CVRPTW) based on Grover Search framework. This problem is often faced by Post…