conftrace_

verification evolution

1 paper

Explore in graph

Also known as

VEEVO

Co-occurring keywords · papers mentioning both

neighborhood search (1) job shop scheduling (1) large language model (1) combinatorial optimization (1)

Papers

NS4S: Neighborhood Search for Scheduling Problems Via Large Language Models IJCAI 2025