A Clean One-Truck / One-Drone Optimization Kernel
Exact synchronization-state DP, fixed-tour interval DP, set-packing B&B, QUBO construction, classical annealing and VND under an explicit clean-kernel boundary.
WORKING PAPERS
A working-paper record appears here only with a bounded claim, public method description and current verification state.
Research programs with explicit evidence states
Structural Compression for Exact Optimization
A proof-oriented program studying when certified local structure can reduce an active optimization domain without losing global feasibility.
Deterministic Distributed Experimentation
Hash-stable case partitioning and repetition comparison for Hadoop/Spark campaigns while solver correctness remains independently certified.
Industrial Network Reconfiguration Evidence
ROADEF-oriented exact bounds, heuristics and certificate discipline. Only separately approved and reproduced findings become public claims.