Fix combinatorial reduction boundary cases and witness recovery - #1155

Merged

GiggleLiu merged 5 commits into

mainfrom

fix/threepartition-pairing-recovery

Sep 18, 2026

Commits on Sep 17, 2026

Fix recovery from interchangeable 3-partition pairing elements
isPANN
committed
54d6c29
Fix set splitting reduction for repeated elements
isPANN
committed
5707218
Preserve negative vertex weights in AND/OR graph reduction
isPANN
committed
b8a5765
Preserve empty matching instances and return target construction errors
isPANN
committed
b16a1bc
Merge branches 'fix/set-splitting-multiplicity' and 'fix/vertex-cover-and-or-negative-weights' into fix/threepartition-pairing-recovery
isPANN
committed
efc399d