Search papers, labs, and topics across Lattice.
Affiliation:
1
0
2
This paper introduces the Minimum Span Antibandwidth/Cyclic Antibandwidth Labeling (MSABL/MSCABL) problems and develops a unified Boolean Satisfiability (SAT)-based framework for solving them, and demonstrates the effectiveness of SAT solving as an exact approach for MSABL and MSCABL.