Solving Cyclic Antibandwidth Problem by SAT

arXiv:2601.04239v1 Announce Type: new Abstract: The Cyclic Antibandwidth Problem (CABP), a variant of the Antibandwidth Problem, is an NP-hard graph labeling problem with numerous applications. Despite significant research efforts, existing state-of-the-art approaches for CABP are exclusively heuri…