Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem.

Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh

Browse the full CPAIOR paper archive.