Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem
This page provides access to source code and experimental data for a paper presented at CPAIOR'20 and to related source code to the submitted benchmarks of the SAT competition 2020.
Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie Parragh.
Encoding of Staircase At-Most-One Constraints for the Antibandwidth
Problem. In Proc. 17th Intl. Conf. on
Integration of Constraint Programming, Artificial Intelligence, and
Operations Research (CPAIOR'20), Lecture Notes in Computer
Science (LNCS) vol. 12296, pages 186-204, Springer
Katalin Fazekas, Armin Biere.
Duplex Encoding of Antibandwidth Feasibility. In
Proc. of SAT Competition 2020 - Solver and Benchmark
Descriptions, Tomas Balyo, Nils Froleyks, Marijn Heule, Markus
Iser, Matti Järvisalo, Martin Suda (editors), vol. B-2020-1 of
Department of Computer Science Report Series B, 2020. pages 81-82,
University of Helsinki, 2020.
Current version of Duplex Encoder
The most recent source code of the Duplex Encoder (used for benchmark generation) is avaiable here.
Benchmark Submission to the SAT Competition 2020
The script to generate the submitted benchmarks of SC 2020 is avaiable here. See the comments at the beginning of the file about how to use it. The script expects the recent version (1.2) of the Duplex Encoder.
Problem instances of the experiments are here.
Log files of the experimental evaluation are here.
The source code of the Duplex Encoder used in the experiments is avaiable here.